TextMark.getDeleted

Returns TRUE if the mark has been removed from its buffer with TextBuffer.deleteMark. See 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