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
~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"));