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