snaphot

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

diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.mli b/helm/DEVEL/lablgtksourceview/gSourceView.mli
index a041f28a8983c5d06eeea27b2de72cebe5a6d463..f933cf61011a29ba4787c3ac72e15a4b5add14dd 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gSourceView.mli
+++ b/helm/DEVEL/lablgtksourceview/gSourceView.mli
@@ -25,44 +25,41 @@
 
 open Gtk
 
+(** {2 GtkSourceLanguage} *)
+
+class source_language_signals:
+  ([> Gtk_sourceview.source_language ] as 'b) obj ->
+  object ('a)
+    inherit ['b] GObj.gobject_signals
+    method tag_style_changed: callback:(string -> unit) -> GtkSignal.id
+  end
+
+class source_language:
+  Gtk_sourceview.source_language obj ->
+  object
+    method as_source_language: Gtk_sourceview.source_language obj
+    method connect: source_language_signals
+    method get_escape_char: Glib.unichar
+    method get_name: string
+    method get_section: string
+    method misc: GObj.gobject_ops
+  end
+
 (** {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 :
+    inherit GText.buffer_signals
+    method can_redo: callback:(bool -> unit) -> GtkSignal.id
+    method can_undo: callback:(bool -> 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
+    method marker_updated: callback:(Gtk.text_iter -> unit) -> GtkSignal.id
   end
 
 class source_buffer:
-  Gtk_sourceview.source_buffer Gtk.obj ->
+  Gtk_sourceview.source_buffer obj ->
   object
     inherit GText.buffer_skel
     method connect: source_buffer_signals
@@ -74,8 +71,8 @@ class source_buffer:
     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 language: source_language option
+    method set_language: source_language -> unit
     method escape_char: Glib.unichar
     method set_escape_char: Glib.unichar -> unit
     method can_undo: bool
@@ -97,56 +94,38 @@ class source_buffer:
 (*     method get_prev_marker: unit -> source_marker *)
   end
 
-val source_buffer :
+val source_buffer:
+  ?language:source_language ->
+(*   ?tag_table:source_tag_table -> *)
   ?text:string ->
   ?check_brackets:bool ->
   ?escape_char:int ->
   ?highlight:bool ->
   ?max_undo_levels:int ->
-(*   ?tag_table:GText.tag_table -> *)
   unit ->
     source_buffer
 
 (** {2 GtkSourceView} *)
 
-class source_view_signals :
+class source_view_signals:
   ([> Gtk_sourceview.source_view ] as 'b) obj ->
   object ('a)
-    method after : 'a
-    method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
-    method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
-    method delete_from_cursor :
-      callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
-    method destroy : callback:(unit -> unit) -> GtkSignal.id
-    method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
-    method move_cursor :
-      callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
-        GtkSignal.id
-    method move_focus :
-      callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
-    method page_horizontally :
-      callback:(int -> extend:bool -> unit) -> GtkSignal.id
-    method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
-    method populate_popup :
-      callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
-    method redo : callback:(unit -> unit) -> GtkSignal.id
-    method set_anchor : callback:(unit -> unit) -> GtkSignal.id
-    method set_scroll_adjustments :
-      callback:(GData.adjustment option -> GData.adjustment option -> unit) ->        GtkSignal.id
-    method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
-    method undo : callback:(unit -> unit) -> GtkSignal.id
+    inherit GText.view_signals
+    method redo: callback:(unit -> unit) -> GtkSignal.id
+    method undo: callback:(unit -> unit) -> GtkSignal.id
   end
 
-class source_view :
-  Gtk_sourceview.source_view Gtk.obj ->
+class source_view:
+  Gtk_sourceview.source_view obj ->
   object
     inherit GText.view_skel
-    val obj: Gtk_sourceview.source_view Gtk.obj
+    val obj: Gtk_sourceview.source_view obj
     method connect: source_view_signals
-    method set_show_line_numbers : bool -> unit
-    method show_line_numbers : bool
-    method set_show_line_markers : bool -> unit
-    method show_line_markers : bool
+    method source_buffer: source_buffer
+    method set_show_line_numbers: bool -> unit
+    method show_line_numbers: bool
+    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
@@ -163,7 +142,7 @@ class source_view :
     method smart_home_end: bool
   end
 
-val source_view :
+val source_view:
   ?source_buffer:source_buffer ->
   ?auto_indent:bool ->
   ?insert_spaces_instead_of_tabs:bool ->