TextMark.getDeleted

Returns TRUE if the mark has been removed from its buffer with gtk_text_buffer_delete_mark(). See gtk_text_buffer_add_mark() for a way to add it to a buffer again.

class TextMark
int
getDeleted
()

Return Value

Type: int

whether the mark is deleted

Meta