504 |
504 |
505 self.shutdownCalled = False |
505 self.shutdownCalled = False |
506 self.inCloseEevent = False |
506 self.inCloseEevent = False |
507 |
507 |
508 # now redirect stdout and stderr |
508 # now redirect stdout and stderr |
509 # TODO: release - reenable redirection |
|
510 sys.stdout = self.stdout |
509 sys.stdout = self.stdout |
511 sys.stderr = self.stderr |
510 sys.stderr = self.stderr |
512 |
511 |
513 # now fire up the single application server |
512 # now fire up the single application server |
514 if Preferences.getUI("SingleApplicationMode"): |
513 if Preferences.getUI("SingleApplicationMode"): |
3333 |
3332 |
3334 def __showPluginToolsMenu(self): |
3333 def __showPluginToolsMenu(self): |
3335 """ |
3334 """ |
3336 Private slot to show the Plugin Tools menu. |
3335 Private slot to show the Plugin Tools menu. |
3337 """ |
3336 """ |
3338 # TODO: This doesn't work on Mac OS X with Qt compiled against |
|
3339 # Cocoa anymore |
|
3340 # TODO: Change tools plug-ins to populate the menu statically |
|
3341 # and just enabled the actions/menus accordingly |
|
3342 self.showMenu.emit("PluginTools", self.__menus["plugin_tools"]) |
3337 self.showMenu.emit("PluginTools", self.__menus["plugin_tools"]) |
3343 |
3338 |
3344 def __showUserToolsMenu(self): |
3339 def __showUserToolsMenu(self): |
3345 """ |
3340 """ |
3346 Private slot to display the User Tools menu. |
3341 Private slot to display the User Tools menu. |