src/eric7/QScintilla/Editor.py

branch
eric7
changeset 10517
aecd5a8c958c
parent 10501
234702836442
child 10534
783d835d7fe4
child 10539
4274f189ff78
child 10570
ae53b96eedbb
--- 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)

eric ide

mercurial