From ee38a6c24d96f1bcf47409ee6fa5914ff62dec4c Mon Sep 17 00:00:00 2001
From: monate
Date: Thu, 27 Feb 2003 19:14:54 +0000
Subject: coqide updates: copy/paste enhanced. Optimizing coqide on very large
 inputs. Contextual colorization. Synchronization problems solved.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3719 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/ideutils.ml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'ide/ideutils.ml')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index f0a0b4181c..3edd65aacd 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -1,6 +1,8 @@
 
 open Preferences
 
+exception Forbidden
+
 let lib_ide = Filename.concat Coq_config.coqlib "ide"
   
 let get_insert input_buffer = input_buffer#get_iter_at_mark `INSERT
@@ -17,15 +19,15 @@ let byte_offset_to_char_offset s byte_offset =
   byte_offset - !count_delta
 
 
-let process_pending () = 
+let process_pending () =
   while Glib.Main.pending () do 
-    ignore (Glib.Main.iteration false) 
+    ignore (Glib.Main.iteration false)
   done
 
 let debug = ref true
 
 let prerr_endline s =
-  if !debug then  prerr_endline s else ()
+  if !debug then (prerr_endline s;flush stderr) else ()
 
 let print_id id =
   prerr_endline ("GOT sig id :"^(string_of_int (Obj.magic id)))
@@ -77,3 +79,4 @@ let browse_keyword text =
   try 
     let u = url_for_keyword text in browse (current.doc_url ^ u) 
   with _ -> ()
+
-- 
cgit v1.2.3