Commit 2f5ad68f authored by Sylvain Dailler's avatar Sylvain Dailler

Nothing was odne on reload. corrected.

parent 0bd1fdee
......@@ -575,6 +575,8 @@ let reload_safe () =
| 1 -> save_sources (); reload_unsafe ()
| 2 -> reload_unsafe ()
| _ -> ()
else
reload_unsafe ()
(* TODO key stroked to be decided *)
let reload_menu_item : GMenu.menu_item =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment