src/eric7/QScintilla/Editor.py

branch
eric7
changeset 10517
aecd5a8c958c
parent 10501
234702836442
child 10534
783d835d7fe4
child 10539
4274f189ff78
child 10570
ae53b96eedbb
equal deleted inserted replaced
10516:72baef0baa76 10517:aecd5a8c958c
2616 @type int 2616 @type int
2617 """ 2617 """
2618 if self.inLinesChanged: 2618 if self.inLinesChanged:
2619 return 2619 return
2620 2620
2621 for handle in self.breaks: 2621 for handle in list(self.breaks):
2622 if self.markerLine(handle) == line - 1: 2622 if self.markerLine(handle) == line - 1:
2623 del self.breaks[handle] 2623 del self.breaks[handle]
2624 self.markerDeleteHandle(handle) 2624 self.markerDeleteHandle(handle)
2625 self.__markerMap.update() 2625 self.__markerMap.update()
2626 return 2626 return
2918 Public method to toggle a bookmark. 2918 Public method to toggle a bookmark.
2919 2919
2920 @param line line number of the bookmark 2920 @param line line number of the bookmark
2921 @type int 2921 @type int
2922 """ 2922 """
2923 for handle in self.bookmarks: 2923 for handle in self.bookmarks[:]:
2924 if self.markerLine(handle) == line - 1: 2924 if self.markerLine(handle) == line - 1:
2925 self.bookmarks.remove(handle) 2925 self.bookmarks.remove(handle)
2926 self.markerDeleteHandle(handle) 2926 self.markerDeleteHandle(handle)
2927 break 2927 break
2928 else: 2928 else:

eric ide

mercurial