From 0cb8482b51f25b2f705f4da28f08424f48fa9c93 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 3 Nov 2018 15:55:20 +0100
Subject: Hack to have the "ready" status bar message not hiding flash notices.

---
 ide/coqide.ml      | 1 -
 ide/coqide_main.ml | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 9cdfd0dc21..fb08195308 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1247,7 +1247,6 @@ let build_ui () =
   let () = refresh_notebook_pos () in
   let lower_hbox = GPack.hbox ~homogeneous:false ~packing:vbox#pack () in
   let () = lower_hbox#pack ~expand:true status#coerce in
-  let () = push_info ("Ready"^ if microPG#get then ", [μPG]" else "")  in
 
   (* Location display *)
   let l = GMisc.label
diff --git a/ide/coqide_main.ml b/ide/coqide_main.ml
index 6f4c0ece31..1e04d269f6 100644
--- a/ide/coqide_main.ml
+++ b/ide/coqide_main.ml
@@ -52,6 +52,7 @@ let load_prefs () =
   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
-- 
cgit v1.2.3