Class `GSourceView3.source_language_manager`

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