TextMark.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.

class TextMark
bool
getDeleted
()

Return Value

Type: bool

whether the mark is deleted