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)