--- a/Project/Project.py	Sat May 28 16:20:36 2011 +0200
+++ b/Project/Project.py	Sun May 29 15:25:28 2011 +0200
@@ -2535,6 +2535,7 @@
         
         # 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()