Class GSourceView.source_languages_manager


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