snapshot

[helm.git] / helm / DEVEL / lablgtksourceview / gSourceView.ml

diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.ml b/helm/DEVEL/lablgtksourceview/gSourceView.ml
index 9a4534f833f9ab8a1363254e2acf1ab89b4432fe..372493c815978b8fb79d3996ae9829cd9840d942 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gSourceView.ml
+++ b/helm/DEVEL/lablgtksourceview/gSourceView.ml
@@ -32,14 +32,14 @@ open GtkSourceView
 open OgtkSourceViewProps
 open GObj
 
-let get_bool = function
-  | `BOOL b -> b
-  | _ -> assert false
+let get_bool = function `BOOL b -> b | _ -> assert false
+let bool b = `BOOL b
+let get_uint = function `INT i -> i | _ -> assert false
+let uint i = `INT i
 
 class source_view_signals obj_param =
 object
   inherit widget_signals_impl (obj_param : [> Gtk_sourceview.source_view] obj)
-(*   inherit OgtkTextProps.text_view_sigs *)
   inherit GText.view_signals obj_param
   inherit source_view_sigs
 end
@@ -48,10 +48,28 @@ class source_view (obj: Gtk_sourceview.source_view obj) =
 object (self)
   inherit GText.view_skel obj
   method connect = new source_view_signals obj
+  method set_show_line_numbers x =
+    self#misc#set_property "show_line_numbers" (bool x)
   method show_line_numbers =
     get_bool (self#misc#get_property "show_line_numbers")
-  method set_show_line_numbers b =
-    self#misc#set_property "show_line_numbers" (`BOOL b)
+  method set_show_line_markers x =
+    self#misc#set_property "show_line_markers" (bool x)
+  method show_line_markers =
+    get_bool (self#misc#get_property "show_line_markers")
+  method set_tabs_width x = self#misc#set_property "tabs_width" (uint x)
+  method tabs_width = get_uint (self#misc#get_property "tabs_width")
+  method set_auto_indent x = self#misc#set_property "auto_indent" (bool x)
+  method auto_indent = get_bool (self#misc#get_property "auto_indent")
+  method set_insert_spaces_instead_of_tabs x =
+    self#misc#set_property "insert_spaces_instead_of_tabs" (bool x)
+  method insert_spaces_instead_of_tabs =
+    get_bool (self#misc#get_property "insert_spaces_instead_of_tabs")
+  method set_show_margin x = self#misc#set_property "show_margin" (bool x)
+  method show_margin = get_bool (self#misc#get_property "show_margin")
+  method set_margin x = self#misc#set_property "margin" (uint x)
+  method margin = get_uint (self#misc#get_property "margin")
+  method set_smart_home_end x = self#misc#set_property "smart_home_end" (bool x)
+  method smart_home_end = get_bool (self#misc#get_property "smart_home_end")
 end
 
 let source_view =