X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2FgSourceView.mli;h=eb024bfcbcc68f6eecc3c7f10a01c63782e8ee9e;hb=acf29bdbdcdc6ad8c2d9d27e8a47500981b605cd;hp=4b1b60be691a96e0437a7b20167f8b1312047206;hpb=4f576c9474396e214db9fcf8bb974c603c16a825;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.mli b/helm/DEVEL/lablgtksourceview/gSourceView.mli
index 4b1b60be6..eb024bfcb 100644
--- a/helm/DEVEL/lablgtksourceview/gSourceView.mli
+++ b/helm/DEVEL/lablgtksourceview/gSourceView.mli
@@ -56,74 +56,27 @@ class source_view_signals :
 class source_view :
   Gtk_sourceview.source_view Gtk.obj ->
   object
-    method add_child_at_anchor : GObj.widget -> GText.child_anchor -> unit
-    method add_child_in_window :
-      child:GObj.widget ->
-      which_window:Gtk.Tags.text_window_type -> x:int -> y:int -> unit
-    method as_view : Gtk.text_view Gtk.obj
-    method as_widget : Gtk.widget Gtk.obj
-    method backward_display_line : GText.iter -> bool
-    method backward_display_line_start : GText.iter -> bool
-    method buffer : GText.buffer
-    method buffer_to_window_coords :
-      tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
-    method coerce : GObj.widget
-    method connect : source_view_signals
-    method cursor_visible : bool
-    method destroy : unit -> unit
-    method drag : GObj.drag_ops
-    method editable : bool
-    method event : GObj.event_ops
-    method forward_display_line : GText.iter -> bool
-    method forward_display_line_end : GText.iter -> bool
-    method get_border_window_size :
-      [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int
-    method get_iter_at_location : x:int -> y:int -> GText.iter
-    method get_iter_location : GText.iter -> Gdk.Rectangle.t
-    method get_line_at_y : int -> GText.iter * int
-    method get_line_yrange : GText.iter -> int * int
-    method get_oid : int
-    method get_window : Gtk.Tags.text_window_type -> Gdk.window option
-    method get_window_type : Gdk.window -> Gtk.Tags.text_window_type
-    method indent : int
-    method justification : Gtk.Tags.justification
-    method left_margin : int
-    method misc : GObj.misc_ops
-    method move_child : child:GObj.widget -> x:int -> y:int -> unit
-    method move_mark_onscreen : GText.mark -> bool
-    method move_visually : GText.iter -> int -> bool
-    method pixels_above_lines : int
-    method pixels_below_lines : int
-    method pixels_inside_wrap : int
-    method place_cursor_onscreen : unit -> bool
-    method right_margin : int
-    method scroll_mark_onscreen : GText.mark -> unit
-    method scroll_to_iter :
-      ?within_margin:float ->
-      ?use_align:bool -> ?xalign:float -> ?yalign:float -> GText.iter -> bool
-    method scroll_to_mark :
-      ?within_margin:float ->
-      ?use_align:bool -> ?xalign:float -> ?yalign:float -> GText.mark -> unit
-    method set_border_window_size :
-      typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit
-    method set_buffer : GText.buffer -> unit
-    method set_cursor_visible : bool -> unit
-    method set_editable : bool -> unit
-    method set_indent : int -> unit
-    method set_justification : Gtk.Tags.justification -> unit
-    method set_left_margin : int -> unit
-    method set_pixels_above_lines : int -> unit
-    method set_pixels_below_lines : int -> unit
-    method set_pixels_inside_wrap : int -> unit
-    method set_right_margin : int -> unit
+    inherit GText.view_skel
+    val obj: Gtk_sourceview.source_view Gtk.obj
+    method connect: source_view_signals
     method set_show_line_numbers : bool -> unit
-    method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
     method show_line_numbers : bool
-    method starts_display_line : GText.iter -> bool
-    method visible_rect : Gdk.Rectangle.t
-    method window_to_buffer_coords :
-      tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
-    method wrap_mode : Gtk.Tags.wrap_mode
+    method set_show_line_markers : bool -> unit
+    method show_line_markers : bool
+    method set_tabs_width: int -> unit
+    method tabs_width: int
+    method set_auto_indent: bool -> unit
+    method auto_indent: bool
+    method set_insert_spaces_instead_of_tabs: bool -> unit
+    method insert_spaces_instead_of_tabs: bool
+    method set_show_margin: bool -> unit
+    method show_margin: bool
+    method set_margin: int -> unit
+    method margin: int
+(*     method set_marker_pixbuf: GdkPixbuf.pixbuf -> unit *)
+(*     method marker_pixbuf: GdkPixbuf.pixbuf *)
+    method set_smart_home_end: bool -> unit
+    method smart_home_end: bool
   end
 
 val source_view :