--- 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():