diff -r 75bfe8bd4243 -r 6fb76985422b Project/Project.py --- a/Project/Project.py Sun May 29 15:25:28 2011 +0200 +++ b/Project/Project.py Sun May 29 18:04:36 2011 +0200 @@ -2535,7 +2535,6 @@ # now shutdown the vcs interface if self.vcs: - # TODO: if not reopen: close torn off vcs menus self.vcs.vcsShutdown() self.vcs = None e5App().getObject("PluginManager").deactivateVcsPlugins()