ported to latest lablgtk2 snapshot (13/06/2005) in which Garrigue

applied my patch about *_skel

diff --git a/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml b/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
index 5af568def7024c1cfc40fcaafe454115204399fe..573195e191758bcc59d88aafb7a87502cabeb447 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
+++ b/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
@@ -20,7 +20,7 @@
  *)
 
 type source_view = [Gtk.text_view|`sourceview]
-type source_buffer = [Gtk.text_buffer|`sourcebuffer]
+type source_buffer = [`textbuffer|`sourcebuffer]
 type source_language = [`sourcelanguage]
 type source_languages_manager = [`sourcelanguagesmanager]