*)
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]