TextMark.getDeleted
bool getDeleted()Returns true if the mark has been removed from its buffer.
See [gtk.text_buffer.TextBuffer.addMark] for a way to add it to a buffer again.
Returns
whether the mark is deleted
bool getDeleted()Returns true if the mark has been removed from its buffer.
See [gtk.text_buffer.TextBuffer.addMark] for a way to add it to a buffer again.