val get_id : [> `sourcelanguage ] Gtk.obj -> stringval get_name : [> `sourcelanguage ] Gtk.obj -> stringval get_section : [> `sourcelanguage ] Gtk.obj -> stringval get_hidden : [> `sourcelanguage ] Gtk.obj -> boolval metadata : [> `sourcelanguage ] Gtk.obj -> string -> string optionval mime_types : [> `sourcelanguage ] Gtk.obj -> string listval globs : [> `sourcelanguage ] Gtk.obj -> string listval style_name : [> `sourcelanguage ] Gtk.obj -> string -> string optionval style_ids : [> `sourcelanguage ] Gtk.obj -> string list