ViewManager/ViewManager.py

changeset 826
2e3e2055e715
parent 825
9cdec3c5bc07
child 832
eb5ff61f927b
--- a/ViewManager/ViewManager.py	Fri Jan 07 12:38:39 2011 +0100
+++ b/ViewManager/ViewManager.py	Fri Jan 07 15:52:50 2011 +0100
@@ -4533,7 +4533,8 @@
         
         # remove all split views, if this is supported
         if self.canSplit():
-            while self.removeSplit(): pass
+            while self.removeSplit():
+                pass
         
         # stop the autosave timer
         if self.autosaveTimer.isActive():

eric ide

mercurial