snapshot

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

diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.mli b/helm/DEVEL/lablgtksourceview/gSourceView.mli
index eb024bfcbcc68f6eecc3c7f10a01c63782e8ee9e..e7bc27638fc236d6e68e9eb53a6fbc6a1554fdc9 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gSourceView.mli
+++ b/helm/DEVEL/lablgtksourceview/gSourceView.mli
@@ -25,6 +25,90 @@
 
 open Gtk
 
+(** {2 GtkSourceBuffer} *)
+
+class source_buffer_signals:
+  ([> Gtk_sourceview.source_buffer ] as 'b) obj ->
+  object ('a)
+    method after : 'a
+    method apply_tag :
+      callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
+      GtkSignal.id
+    method begin_user_action : callback:(unit -> unit) -> GtkSignal.id
+    method can_redo : callback:(bool -> unit) -> GtkSignal.id
+    method can_undo : callback:(bool -> unit) -> GtkSignal.id
+    method changed : callback:(unit -> unit) -> GtkSignal.id
+    method private connect :
+      'c. ('b, 'c) GtkSignal.t -> callback:'c -> GtkSignal.id
+    method delete_range :
+      callback:(start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id
+    method end_user_action : callback:(unit -> unit) -> GtkSignal.id
+    method highlight_updated :
+      callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
+    method insert_child_anchor :
+      callback:(GText.iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id
+    method insert_pixbuf :
+      callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
+    method insert_text :
+      callback:(GText.iter -> string -> unit) -> GtkSignal.id
+    method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
+    method mark_set :
+      callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.id
+    method marker_updated : callback:(Gtk.text_iter -> unit) -> GtkSignal.id
+    method modified_changed : callback:(unit -> unit) -> GtkSignal.id
+    method remove_tag :
+      callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
+      GtkSignal.id
+  end
+
+class source_buffer:
+  Gtk_sourceview.source_buffer Gtk.obj ->
+  object
+    inherit GText.buffer_skel
+    method connect: source_buffer_signals
+    method misc: GObj.gobject_ops
+    method check_brackets: bool
+    method set_check_brackets: bool -> unit
+(*     method set_bracket_match_style: tag_style -> unit *)
+    method highlight: bool
+    method set_highlight: bool -> unit
+    method max_undo_levels: int
+    method set_max_undo_levels: int -> unit
+(*     method language: source_language *)
+(*     method set_language: source_language -> unit *)
+    method escape_char: Glib.unichar
+    method set_escape_char: Glib.unichar -> unit
+    method can_undo: bool
+    method can_redo: bool
+    method undo: unit -> unit
+    method redo: unit -> unit
+    method begin_not_undoable_action: unit -> unit
+    method end_not_undoable_action: unit -> unit
+(*     method create_marker: name:char -> typ:char -> source_marker *)
+(*     method move_marker: source_marker -> Gtext.text_iter -> unit *)
+(*     method delete_marker: source_marker -> unit *)
+(*     method get_marker: name:char -> source_marker *)
+(*     method get_markers_in_region:
+      start:text_iter -> stop:text_iter -> source_marker list *)
+(*     method get_first_marker: unit -> source_marker *)
+(*     method get_last_marker: unit -> source_marker *)
+(*     method get_iter_at_marker: ... *)
+(*     method get_next_marker: unit -> source_marker *)
+(*     method get_prev_marker: unit -> source_marker *)
+  end
+
+val source_buffer :
+  ?check_brackets:bool ->
+  ?escape_char:int ->
+  ?highlight:bool ->
+  ?max_undo_levels:int ->
+(*   ?tag_table:GText.tag_table ->
+  ?text:string -> *)
+  unit ->
+    source_buffer
+
+(** {2 GtkSourceView} *)
+
 class source_view_signals :
   ([> Gtk_sourceview.source_view ] as 'b) obj ->
   object ('a)
@@ -80,6 +164,7 @@ class source_view :
   end
 
 val source_view :
+  ?source_buffer:source_buffer ->
   ?auto_indent:bool ->
   ?insert_spaces_instead_of_tabs:bool ->
   ?margin:int ->