coqide : progressbar

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3947 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 20 insertions, 10 deletions

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 7f05d0d2f..e7c5b1073 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -3,6 +3,14 @@ open Preferences
 
 exception Forbidden
 
+
+let debug = Options.debug
+
+let prerr_endline s =
+  if !debug then (prerr_endline s;flush stderr)
+let prerr_string s =
+  if !debug then (prerr_string s;flush stderr)
+
 let lib_ide = Filename.concat Coq_config.coqlib "ide"
   
 let get_insert input_buffer = input_buffer#get_iter_at_mark `INSERT
@@ -28,16 +36,15 @@ let byte_offset_to_char_offset s byte_offset =
   end
 
 let process_pending () =
-  while Glib.Main.pending () do 
-    ignore (Glib.Main.iteration false)
-  done
-
-let debug = Options.debug
-
-let prerr_endline s =
-  if !debug then (prerr_endline s;flush stderr)
-let prerr_string s =
-  if !debug then (prerr_string s;flush stderr)
+  prerr_endline "Pending process";()
+(*  try 
+    while Glib.Main.pending () do 
+      ignore (Glib.Main.iteration false)
+    done
+  with e -> 
+    prerr_endline "Pending problems : expect a crash very soon";
+    raise e
+*)
 
 let print_id id =
   prerr_endline ("GOT sig id :"^(string_of_int (Obj.magic id)))
@@ -190,3 +197,6 @@ let find_tag_stop (tag :GText.tag) (it:GText.iter) =
   it
 let find_tag_limits (tag :GText.tag) (it:GText.iter) = 
  (find_tag_start tag it , find_tag_stop tag it)
+
+let async = 
+  if Sys.os_type <> "Unix" then GtkThread.async else (fun x -> x)