]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/test/test.ml
snaphot
[helm.git] / helm / DEVEL / lablgtksourceview / test / test.ml
index 6eb369dfb707c0bd4423348ae799d03f3aa296a0..02a0806e278e90e3043396be6eedf09120fd98a3 100644 (file)
@@ -27,17 +27,8 @@ open Printf
 
 let win = GWindow.window ~title:"LablGtkSourceView test" ()
 let scrolled_win = GBin.scrolled_window ~packing:win#add ()
-let text =
-  let ic = open_in "test.txt" in
-  let size = in_channel_length ic in
-  let buf = String.create size in
-  really_input ic buf 0 size;
-  close_in ic;
-  buf
-let source_buffer = GSourceView.source_buffer ~text ~check_brackets:true ()
 let source_view =
   GSourceView.source_view
-    ~source_buffer
     ~auto_indent:true ~insert_spaces_instead_of_tabs:true ~tabs_width:2
     ~show_line_numbers:true
     ~margin:80 ~show_margin:true
@@ -45,7 +36,16 @@ let source_view =
     ~packing:scrolled_win#add ~height:500 ~width:650
     ()
 let _ =
+  let text =
+    let ic = open_in "test.txt" in
+    let size = in_channel_length ic in
+    let buf = String.create size in
+    really_input ic buf 0 size;
+    close_in ic;
+    buf
+  in
   win#set_allow_shrink true;
+  source_view#source_buffer#set_text text;
   ignore (win#connect#destroy (fun _ -> GMain.quit ()));
 (*   ignore (source_view#connect#move_cursor (fun _ _ ~extend ->
     prerr_endline "move_cursor"));