method misc: GObj.gobject_ops
end
+(** {2 GtkSourceLanguagesManager} *)
+
+class source_languages_manager:
+ Gtk_sourceview.source_languages_manager obj ->
+ object
+ method get_oid: int
+ method as_source_languages_manager:
+ Gtk_sourceview.source_languages_manager obj
+ method get_language_from_mime_type: string -> source_language option
+ end
+
+val source_languages_manager: unit -> source_languages_manager
+
(** {2 GtkSourceBuffer} *)
class source_buffer_signals: