]> matita.cs.unibo.it Git - helm.git/commitdiff
load "test.txt" and show it in a scrolled win
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jun 2005 21:11:52 +0000 (21:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jun 2005 21:11:52 +0000 (21:11 +0000)
helm/DEVEL/lablgtksourceview/test/test.ml

index 08c942bc5a65b74fb7e19801b9b7c3929640e743..6eb369dfb707c0bd4423348ae799d03f3aa296a0 100644 (file)
 open Printf
 
 let win = GWindow.window ~title:"LablGtkSourceView test" ()
-let vbox = GPack.vbox ~packing:win#add ()
-let source_buffer = GSourceView.source_buffer ~check_brackets:true ()
+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:30 ~show_margin:true
+    ~margin:80 ~show_margin:true
     ~smart_home_end:true
-    ~packing:vbox#add ~height:400 ~width:300
+    ~packing:scrolled_win#add ~height:500 ~width:650
     ()
 let _ =
+  win#set_allow_shrink true;
   ignore (win#connect#destroy (fun _ -> GMain.quit ()));
-  ignore (source_view#connect#move_cursor (fun _ _ ~extend ->
+(*   ignore (source_view#connect#move_cursor (fun _ _ ~extend ->
     prerr_endline "move_cursor"));
-  ignore (source_view#connect#undo (fun _ -> prerr_endline "undo"));
+  ignore (source_view#connect#undo (fun _ -> prerr_endline "undo")); *)
   win#show ();
   GMain.Main.main ()