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