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 #GtkTextBuffer::mark-deleted signal will be emitted as notification after the mark is deleted.
Parameters
mark | a #GtkTextMark in buffer |