get_deleted
Description:
Returns true if the mark has been removed from its buffer with delete_mark.
See add_mark for a way to add it to a buffer again.
Parameters:
| this |
a TextMark |
Returns:
|
whether the mark is deleted |
Returns true if the mark has been removed from its buffer with delete_mark.
See add_mark for a way to add it to a buffer again.
| this |
a TextMark |
|
whether the mark is deleted |