]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gtkSourceView.ml
snapshot
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.ml
index ff66d0278a5e3b03c3985862d6bf2cdec345c5af..87ae6b02505fb74f86859353e04c7bb89175223a 100644 (file)
@@ -34,7 +34,13 @@ open GtkBase
 external _gtksourceview_init : unit -> unit = "ml_gtk_sourceview_init"
 let () = _gtksourceview_init ()
 
-module SourceView = struct
+module SourceView =
+struct
   include SourceView
 end
 
+module SourceBuffer =
+struct
+  include SourceBuffer
+end
+