TextMark.getDeleted

bool getDeleted()

Returns true if the mark has been removed from its buffer with [gtk.text_buffer.TextBuffer.deleteMark]. See [gtk.text_buffer.TextBuffer.addMark] for a way to add it to a buffer again.

Returns

whether the mark is deleted