Gtk.SourceView.set_mark_category_priority Reference Manual
Gtk.SourceView.set_mark_category_priority:
Description:
public
void
set_mark_category_priority (
string
category,
int
priority)
created by
valadoc