QScintilla/Editor.py

branch
5_2_x
changeset 1931
0e67826e1991
parent 1832
01f9c5dc0dbe
child 1979
091b85ca9105
--- a/QScintilla/Editor.py	Sat Jun 30 17:03:09 2012 +0200
+++ b/QScintilla/Editor.py	Tue Jul 03 19:01:50 2012 +0200
@@ -1914,9 +1914,10 @@
         else:
             marker = properties[1] and self.tbreakpoint or self.breakpoint
             
-        handle = self.markerAdd(line - 1, marker)
-        self.breaks[handle] = (line,) + properties
-        self.breakpointToggled.emit(self)
+        if self.markersAtLine(line - 1) & self.breakpointMask == 0:
+            handle = self.markerAdd(line - 1, marker)
+            self.breaks[handle] = (line,) + properties
+            self.breakpointToggled.emit(self)
         
     def __toggleBreakpoint(self, line, temporary=False):
         """
@@ -5292,7 +5293,7 @@
         """
         Public method called by the viewmanager to finally get rid of us.
         """
-        if Preferences.getEditor("ClearBreaksOnClose"):
+        if Preferences.getEditor("ClearBreaksOnClose") and not self.__clones:
             self.__menuClearBreakpoints()
         
         for clone in self.__clones[:]:

eric ide

mercurial