diff -r 72baef0baa76 -r aecd5a8c958c src/eric7/QScintilla/Editor.py --- a/src/eric7/QScintilla/Editor.py Sun Jan 21 12:53:23 2024 +0100 +++ b/src/eric7/QScintilla/Editor.py Sun Jan 21 13:00:42 2024 +0100 @@ -2618,7 +2618,7 @@ if self.inLinesChanged: return - for handle in self.breaks: + for handle in list(self.breaks): if self.markerLine(handle) == line - 1: del self.breaks[handle] self.markerDeleteHandle(handle) @@ -2920,7 +2920,7 @@ @param line line number of the bookmark @type int """ - for handle in self.bookmarks: + for handle in self.bookmarks[:]: if self.markerLine(handle) == line - 1: self.bookmarks.remove(handle) self.markerDeleteHandle(handle)