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: |