snapshot

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

diff --git a/helm/DEVEL/lablgtksourceview/gtkSourceView.ml b/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
index 87ae6b02505fb74f86859353e04c7bb89175223a..87745712ede7efc9d302551abb1d976067a54b3c 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
+++ b/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
@@ -31,8 +31,12 @@ open Tags
 open GtkSourceViewProps
 open GtkBase
 
-external _gtksourceview_init : unit -> unit = "ml_gtk_sourceview_init"
-let () = _gtksourceview_init ()
+external _gtk_source_view_init : unit -> unit = "ml_gtk_source_view_init"
+external _gtk_source_buffer_init : unit -> unit = "ml_gtk_source_buffer_init"
+
+let () =
+  _gtk_source_view_init ();
+  _gtk_source_buffer_init ()
 
 module SourceView =
 struct
@@ -42,5 +46,15 @@ end
 module SourceBuffer =
 struct
   include SourceBuffer
+  external can_undo: [>`sourcebuffer] obj -> bool =
+    "ml_gtk_source_buffer_can_undo"
+  external can_redo: [>`sourcebuffer] obj -> bool =
+    "ml_gtk_source_buffer_can_redo"
+  external undo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_undo"
+  external redo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_redo"
+  external begin_not_undoable_action: [>`sourcebuffer] obj -> unit =
+    "ml_gtk_source_buffer_begin_not_undoable_action"
+  external end_not_undoable_action: [>`sourcebuffer] obj -> unit =
+    "ml_gtk_source_buffer_end_not_undoable_action"
 end