class source_languages_manager :GtkSourceView_types.source_languages_manager Gtk.obj ->
object
..end
method get_oid : int
method get_available_languages : source_language list
method as_source_languages_manager : GtkSourceView_types.source_languages_manager Gtk.obj
method get_language_from_mime_type : string -> source_language option
method lang_files_dirs : string list