Extracted from Pike v8.0 release 276 as of 2016-07-29.
   

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.