Project/Project.py

changeset 1076
6fb76985422b
parent 1075
75bfe8bd4243
child 1112
8a7d1b9d18db
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()

eric ide

mercurial