diff options
author | jerous <jerous@gmail.com> | 2008-09-28 23:25:42 +0200 |
---|---|---|
committer | jerous <jerous@gmail.com> | 2008-09-28 23:30:46 +0200 |
commit | 77c264ce529f29e701df1425559923d81b51c742 (patch) | |
tree | 749ed760d1f0d8f646459cf199b26312f1141d09 /winMain.py | |
parent | 1c295e042d73ab93d3336bf07271726b34b2a47d (diff) |
unload all plugins on quitting instead of just deleting the objects
PlayControl: save queue on exit
Diffstat (limited to 'winMain.py')
-rw-r--r-- | winMain.py | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -55,7 +55,7 @@ class winMain(QtGui.QMainWindow): # separator m.addSeparator() # quit - m.addAction("Quit", QtCore.QCoreApplication.exit).setIcon(QtGui.QIcon('gfx/gtk-quit.svg')) + m.addAction("Quit", self.quit).setIcon(QtGui.QIcon('gfx/gtk-quit.svg')) # menu options m=mBar.addMenu("Options") @@ -111,6 +111,17 @@ class winMain(QtGui.QMainWindow): self.showWinSettings() doEvents() + def quit(self): + # unload all plugins + for k in self.plugins: + p=self.plugins[k] + if p.isLoaded(): + p.unload() + + self.plugins=[] + QtCore.QCoreApplication.exit() + + def updateLayoutMenu(self): self.mLayout.clear() self.mLayout.addAction('Save layout', self.saveLayout) |