Pike v8.1 release 6

Method GTK2.TextMark()->get_deleted()


Method get_deleted

int get_deleted()

Description

Returns true if the mark has been removed from its buffer with delete_mark(). Marks can't be used once deleted.