From 1c1c74dc31e976a803a41431eaea1fac43aebfb3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 13 Jun 2005 13:23:29 +0000 Subject: [PATCH] ported to latest lablgtk2 snapshot (13/06/2005) in which Garrigue applied my patch about *_skel --- helm/DEVEL/lablgtksourceview/gtk_sourceview.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml b/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml index 5af568def..573195e19 100644 --- 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] -- 2.39.2