def remove(self, offset, len, addUndoEvent=1):
if self.errorLineStart >= 0:
self.removeErrorHighlighting()
if self.highlightLineStart >= 0:
self.removeLineHighlighting()
self.editor.modified = 1
self.editor.gui.loadButton.enabled = 1
if addUndoEvent:
self.addUndoEvent(REMOVE_EVENT, offset, self.getText(offset, len))
HighlightingStyledDocument.remove(self, offset, len)
def remove(self, offset, len, addUndoEvent=1):
if self.errorLineStart >= 0:
self.removeErrorHighlighting()
if self.highlightLineStart >= 0:
self.removeLineHighlighting()
self.editor.modified = 1
self.editor.gui.loadButton.enabled = 1
if addUndoEvent:
self.addUndoEvent(REMOVE_EVENT,
offset,
self.getText(offset, len))
HighlightingStyledDocument.remove(self, offset, len)
