--- a/src/eric7/QScintilla/Editor.py Sat Nov 04 14:58:42 2023 +0100 +++ b/src/eric7/QScintilla/Editor.py Sat Nov 04 16:10:40 2023 +0100 @@ -2518,14 +2518,11 @@ for handle in self.breaks: if self.markerLine(handle) == line - 1: - break - else: - # not found, simply ignore it - return - - del self.breaks[handle] - self.markerDeleteHandle(handle) - self.__markerMap.update() + del self.breaks[handle] + self.markerDeleteHandle(handle) + self.__markerMap.update() + return + def newBreakpointWithProperties(self, line, properties): """ @@ -6694,7 +6691,7 @@ self.setCursorPosition(line - 1, index) self.ensureLineVisible(line - 1) else: - for handle in self.syntaxerrors: + for handle in list(self.syntaxerrors.keys()): if self.markerLine(handle) == line - 1: del self.syntaxerrors[handle] self.markerDeleteHandle(handle) @@ -6839,7 +6836,7 @@ ): self._warnings[handle].append(warn) else: - for handle in self._warnings: + for handle in list(self._warnings.keys()): if self.markerLine(handle) == line - 1: del self._warnings[handle] self.markerDeleteHandle(handle) @@ -6936,7 +6933,7 @@ @param warningKind kind of warning to clear (Editor.WarningCode, Editor.WarningPython, Editor.WarningStyle) """ - for handle in self._warnings: + for handle in list(self._warnings.keys()): issues = [] for msg, warningType in self._warnings[handle]: if warningType == warningKind: @@ -9043,12 +9040,9 @@ @param name name of the plug-in @type str """ - keys = [] - for key in self.__mouseClickHandlers: + for key in list(self.__mouseClickHandlers.keys()): if self.__mouseClickHandlers[key][0] == name: - keys.append(key) - for key in keys: - del self.__mouseClickHandlers[key] + del self.__mouseClickHandlers[key] def gotoReferenceHandler(self, referencesList): """