snapshot

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

diff --git a/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml b/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
index e6a513f1234f3201bdea70365b8f97f785f11238..8c1f6be6c5c915e4540f540e7ca4552a3ecc6a7f 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
+++ b/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
@@ -24,4 +24,5 @@
  *)
 
 type source_view = [Gtk.text_view|`sourceview]
+type source_buffer = [Gtk.text_buffer|`sourcebuffer]