ignore (source_view#connect#move_cursor (fun _ _ ~extend ->
prerr_endline "move_cursor"));
ignore (source_view#connect#undo (fun _ -> prerr_endline "undo"));
+ source_view#set_auto_indent true;
+ source_view#set_insert_spaces_instead_of_tabs true;
+ source_view#set_tabs_width 2;
+ source_view#set_margin 30;
+ source_view#set_show_margin true;
+ source_view#set_smart_home_end true;
win#show ();
GMain.Main.main ()