UI/UserInterface.py

changeset 733
a7fdfe0b9222
parent 608
d8fea1e76975
child 755
e81e1f8d7874
diff -r 772666a0a05d -r a7fdfe0b9222 UI/UserInterface.py
--- a/UI/UserInterface.py	Fri Nov 19 19:32:32 2010 +0100
+++ b/UI/UserInterface.py	Sun Nov 21 13:23:22 2010 +0100
@@ -195,6 +195,7 @@
             restart (list of strings)
         """
         QMainWindow.__init__(self)
+        self.setAttribute(Qt.WA_DeleteOnClose)
         
         self.__restartArgs = restartArguments[:]
         

eric ide

mercurial