QScintilla/Editor.py

changeset 1930
3ecd42f536fd
parent 1928
adde55ed4ce5
child 1939
eadb2328d7d4
--- a/QScintilla/Editor.py	Mon Jul 02 19:56:32 2012 +0200
+++ b/QScintilla/Editor.py	Tue Jul 03 19:01:50 2012 +0200
@@ -1928,9 +1928,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):
         """
@@ -5309,7 +5310,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