diff -r 5574a003e93d -r b3d6208d2f33 src/eric7/QScintilla/Editor.py
--- 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):
"""
