--- a/UI/UserInterface.py Mon Jan 07 17:06:13 2013 +0100 +++ b/UI/UserInterface.py Mon Jan 07 18:05:29 2013 +0100 @@ -5224,7 +5224,7 @@ self.terminal.closeTerminal() self.__writeTasks() - self.templateViewer.writeTemplates() + self.templateViewer.save() if not self.debuggerUI.shutdownServer(): return False