]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/test/test.ml
snapshot
[helm.git] / helm / DEVEL / lablgtksourceview / test / test.ml
index e0662a0f8520ee26e6d676500e67e72ed43d09b6..4979ad02d486f144c122b7c87e3425fa2078b8ee 100644 (file)
@@ -36,6 +36,12 @@ let _ =
   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 ()