QScintilla/Editor.py

changeset 68
f1e3dff6dda1
parent 61
aa696e3a4393
child 88
3701923bccf2
--- a/QScintilla/Editor.py	Sat Jan 16 15:56:47 2010 +0000
+++ b/QScintilla/Editor.py	Sat Jan 16 19:36:17 2010 +0000
@@ -4524,6 +4524,7 @@
             self.__menuClearBreakpoints()
         
         for clone in self.__clones[:]:
+            self.removeClone(clone)
             clone.removeClone(self)
         
         self.disconnect(self.breakpointModel, 
@@ -4572,6 +4573,7 @@
         
         @param event the event object (QFocusEvent)
         """
+        self.recolor()
         self.vm.editActGrp.setEnabled(True)
         self.vm.editorActGrp.setEnabled(True)
         self.vm.copyActGrp.setEnabled(True)
@@ -5269,4 +5271,4 @@
         word = self.getWord(line, index)
         self.spell.ignoreAlways(word)
         if Preferences.getEditor("AutoSpellCheckingEnabled"):
-            self.spell.checkDocumentIncrementally()
\ No newline at end of file
+            self.spell.checkDocumentIncrementally()

eric ide

mercurial