UI/UserInterface.py

changeset 733
a7fdfe0b9222
parent 608
d8fea1e76975
child 755
e81e1f8d7874
equal deleted inserted replaced
730:772666a0a05d 733:a7fdfe0b9222
193 should not be executed (boolean) 193 should not be executed (boolean)
194 @param restartArguments list of command line parameters to be used for a 194 @param restartArguments list of command line parameters to be used for a
195 restart (list of strings) 195 restart (list of strings)
196 """ 196 """
197 QMainWindow.__init__(self) 197 QMainWindow.__init__(self)
198 self.setAttribute(Qt.WA_DeleteOnClose)
198 199
199 self.__restartArgs = restartArguments[:] 200 self.__restartArgs = restartArguments[:]
200 201
201 self.defaultStyleName = QApplication.style().objectName() 202 self.defaultStyleName = QApplication.style().objectName()
202 self.__setStyle() 203 self.__setStyle()

eric ide

mercurial