From: Stefano Zacchiroli Date: Mon, 13 Jun 2005 13:23:29 +0000 (+0000) Subject: ported to latest lablgtk2 snapshot (13/06/2005) in which Garrigue X-Git-Tag: PRE_STORAGE~52 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1c1c74dc31e976a803a41431eaea1fac43aebfb3;p=helm.git 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 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]