Project/Project.py

changeset 1076
6fb76985422b
parent 1075
75bfe8bd4243
child 1112
8a7d1b9d18db
equal deleted inserted replaced
1075:75bfe8bd4243 1076:6fb76985422b
2533 self.ui.taskViewer.clearProjectTasks() 2533 self.ui.taskViewer.clearProjectTasks()
2534 self.ui.taskViewer.setProjectOpen(False) 2534 self.ui.taskViewer.setProjectOpen(False)
2535 2535
2536 # now shutdown the vcs interface 2536 # now shutdown the vcs interface
2537 if self.vcs: 2537 if self.vcs:
2538 # TODO: if not reopen: close torn off vcs menus
2539 self.vcs.vcsShutdown() 2538 self.vcs.vcsShutdown()
2540 self.vcs = None 2539 self.vcs = None
2541 e5App().getObject("PluginManager").deactivateVcsPlugins() 2540 e5App().getObject("PluginManager").deactivateVcsPlugins()
2542 2541
2543 # now close all project related windows 2542 # now close all project related windows

eric ide

mercurial