Extracted from Pike v8.0 release 164 as of 2018-07-18.
   

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.