2516 if self.inLinesChanged: |
2516 if self.inLinesChanged: |
2517 return |
2517 return |
2518 |
2518 |
2519 for handle in self.breaks: |
2519 for handle in self.breaks: |
2520 if self.markerLine(handle) == line - 1: |
2520 if self.markerLine(handle) == line - 1: |
2521 break |
2521 del self.breaks[handle] |
2522 else: |
2522 self.markerDeleteHandle(handle) |
2523 # not found, simply ignore it |
2523 self.__markerMap.update() |
2524 return |
2524 return |
2525 |
2525 |
2526 del self.breaks[handle] |
|
2527 self.markerDeleteHandle(handle) |
|
2528 self.__markerMap.update() |
|
2529 |
2526 |
2530 def newBreakpointWithProperties(self, line, properties): |
2527 def newBreakpointWithProperties(self, line, properties): |
2531 """ |
2528 """ |
2532 Public method to set a new breakpoint and its properties. |
2529 Public method to set a new breakpoint and its properties. |
2533 |
2530 |
6692 self.syntaxerrors[handle].append((msg, index)) |
6689 self.syntaxerrors[handle].append((msg, index)) |
6693 if show: |
6690 if show: |
6694 self.setCursorPosition(line - 1, index) |
6691 self.setCursorPosition(line - 1, index) |
6695 self.ensureLineVisible(line - 1) |
6692 self.ensureLineVisible(line - 1) |
6696 else: |
6693 else: |
6697 for handle in self.syntaxerrors: |
6694 for handle in list(self.syntaxerrors.keys()): |
6698 if self.markerLine(handle) == line - 1: |
6695 if self.markerLine(handle) == line - 1: |
6699 del self.syntaxerrors[handle] |
6696 del self.syntaxerrors[handle] |
6700 self.markerDeleteHandle(handle) |
6697 self.markerDeleteHandle(handle) |
6701 self.syntaxerrorToggled.emit(self) |
6698 self.syntaxerrorToggled.emit(self) |
6702 |
6699 |
6837 self.markerLine(handle) == line - 1 |
6834 self.markerLine(handle) == line - 1 |
6838 and warn not in self._warnings[handle] |
6835 and warn not in self._warnings[handle] |
6839 ): |
6836 ): |
6840 self._warnings[handle].append(warn) |
6837 self._warnings[handle].append(warn) |
6841 else: |
6838 else: |
6842 for handle in self._warnings: |
6839 for handle in list(self._warnings.keys()): |
6843 if self.markerLine(handle) == line - 1: |
6840 if self.markerLine(handle) == line - 1: |
6844 del self._warnings[handle] |
6841 del self._warnings[handle] |
6845 self.markerDeleteHandle(handle) |
6842 self.markerDeleteHandle(handle) |
6846 |
6843 |
6847 self.__setAnnotation(line - 1) |
6844 self.__setAnnotation(line - 1) |
6934 Private method to clear warnings of a specific kind. |
6931 Private method to clear warnings of a specific kind. |
6935 |
6932 |
6936 @param warningKind kind of warning to clear (Editor.WarningCode, |
6933 @param warningKind kind of warning to clear (Editor.WarningCode, |
6937 Editor.WarningPython, Editor.WarningStyle) |
6934 Editor.WarningPython, Editor.WarningStyle) |
6938 """ |
6935 """ |
6939 for handle in self._warnings: |
6936 for handle in list(self._warnings.keys()): |
6940 issues = [] |
6937 issues = [] |
6941 for msg, warningType in self._warnings[handle]: |
6938 for msg, warningType in self._warnings[handle]: |
6942 if warningType == warningKind: |
6939 if warningType == warningKind: |
6943 continue |
6940 continue |
6944 |
6941 |
9041 a plug-in. |
9038 a plug-in. |
9042 |
9039 |
9043 @param name name of the plug-in |
9040 @param name name of the plug-in |
9044 @type str |
9041 @type str |
9045 """ |
9042 """ |
9046 keys = [] |
9043 for key in list(self.__mouseClickHandlers.keys()): |
9047 for key in self.__mouseClickHandlers: |
|
9048 if self.__mouseClickHandlers[key][0] == name: |
9044 if self.__mouseClickHandlers[key][0] == name: |
9049 keys.append(key) |
9045 del self.__mouseClickHandlers[key] |
9050 for key in keys: |
|
9051 del self.__mouseClickHandlers[key] |
|
9052 |
9046 |
9053 def gotoReferenceHandler(self, referencesList): |
9047 def gotoReferenceHandler(self, referencesList): |
9054 """ |
9048 """ |
9055 Public method to handle a list of references to perform a goto. |
9049 Public method to handle a list of references to perform a goto. |
9056 |
9050 |