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.