Returns true if the mark has been removed from its buffer with gtk.text_buffer.TextBuffer.deleteMark. See gtk.text_buffer.TextBuffer.addMark for a way to add it to a buffer again.
whether the mark is deleted
Returns true if the mark has been removed from its buffer with gtk.text_buffer.TextBuffer.deleteMark. See gtk.text_buffer.TextBuffer.addMark for a way to add it to a buffer again.