Class GSourceView3.source_language_manager

class source_language_manager : GtkSourceView3_types.source_language_manager Gtk.obj -> object .. end

method get_oid : int

method as_source_language_manager : GtkSourceView3_types.source_language_manager Gtk.obj

method set_search_path : string list -> unit

method search_path : string list

method language_ids : string list

method language : string -> source_language option

method guess_language : ?filename:string ->
       ?content_type:string -> unit -> source_language option