Gtk.SourceBuffer.remove_source_marks Reference Manual
Gtk.SourceBuffer.remove_source_marks:
Description:
public
void
remove_source_marks (
Gtk.TextIter
start,
Gtk.TextIter
end,
string
category)
created by
valadoc