diff options
Diffstat (limited to 'ide/coqide_main.ml')
| -rw-r--r-- | ide/coqide_main.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ide/coqide_main.ml b/ide/coqide_main.ml index f2ce2e8bd9..1e04d269f6 100644 --- a/ide/coqide_main.ml +++ b/ide/coqide_main.ml @@ -49,11 +49,10 @@ let catch_gtk_messages () = let () = catch_gtk_messages () let load_prefs () = - try Preferences.load_pref () - with e -> Ideutils.flash_info - ("Could not load preferences ("^Printexc.to_string e^").") + Preferences.load_pref ~warn:(fun ~delay -> Ideutils.flash_info ~delay) let () = + Ideutils.push_info ("Ready"^ if Preferences.microPG#get then ", [μPG]" else ""); load_prefs (); let argl = List.tl (Array.to_list Sys.argv) in let argl = Coqide.read_coqide_args argl in |