TextBuffer.deleteMark
void deleteMark(gtk.text_mark.TextMark mark)Deletes mark, so that it’s no longer located anywhere in the buffer.
Removes the reference the buffer holds to the mark, so if you haven’t called gobject.object.ObjectWrap.ref_ on the mark, it will be freed. Even if the mark isn’t freed, most operations on mark become invalid, until it gets added to a buffer again with gtk.text_buffer.TextBuffer.addMark. Use gtk.text_mark.TextMark.getDeleted to find out if a mark has been removed from its buffer.
The gtk.text_buffer.TextBuffer.markDeleted signal will be emitted as notification after the mark is deleted.
Parameters
mark | a gtk.text_mark.TextMark in buffer |