Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK2
GTK2.TextMark

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.