TextBuffer.deleteMarkByName
void deleteMarkByName(string name)Deletes the mark named name; the mark must exist. See [gtk.text_buffer.TextBuffer.deleteMark] for details.
Parameters
name | name of a mark in buffer |
void deleteMarkByName(string name)Deletes the mark named name; the mark must exist. See [gtk.text_buffer.TextBuffer.deleteMark] for details.
name | name of a mark in buffer |