GtkSourceView3_types.source_language_manager Gtk.obj ->
object
  method as_source_language_manager :
    GtkSourceView3_types.source_language_manager Gtk.obj
  method get_oid : int
  method guess_language :
    ?filename:string ->
    ?content_type:string -> unit -> GSourceView3.source_language option
  method language : string -> GSourceView3.source_language option
  method language_ids : string list
  method search_path : string list
  method set_search_path : string list -> unit
end