CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)

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

1 files changed, 30 insertions, 0 deletions

diff --git a/ide/highlight.mll b/ide/highlight.mll
index 8b187c754..e58654714 100644
--- a/ide/highlight.mll
+++ b/ide/highlight.mll
@@ -73,3 +73,33 @@ and comment = parse
   | "(*" { ignore (comment lexbuf); comment lexbuf }
   | _    { comment lexbuf }
   | eof  { raise End_of_file }
+
+{
+  open Ideutils
+
+  let highlight_slice (input_buffer:GText.buffer) (start:GText.iter) stop = 
+  let offset = start#offset in
+  let s = start#get_slice ~stop in
+  let convert_pos = byte_offset_to_char_offset s in
+  let lb = Lexing.from_string s in
+    try 
+      while true do
+	process_pending ();
+	let b,e,o=next_order lb in
+	let b,e = convert_pos b,convert_pos e in
+	let start = input_buffer#get_iter_at_char (offset + b) in
+	let stop = input_buffer#get_iter_at_char (offset + e) in
+	  input_buffer#apply_tag_by_name ~start ~stop o 
+      done
+    with End_of_file -> ()
+      | _ -> ()
+
+
+  let highlight_current_line input_buffer = 
+  let i = get_insert input_buffer in
+    highlight_slice input_buffer (i#set_line_offset 0) i
+
+  let highlight_all input_buffer = 
+  highlight_slice input_buffer input_buffer#start_iter input_buffer#end_iter
+
+}