UI/UserInterface.py

changeset 3201
0f115f6db6cb
parent 3190
a9a94491c4fd
child 3202
d21df6f384fc
equal deleted inserted replaced
3200:83bde5e6f146 3201:0f115f6db6cb
152 should not be executed (boolean) 152 should not be executed (boolean)
153 @param restartArguments list of command line parameters to be used for 153 @param restartArguments list of command line parameters to be used for
154 a restart (list of strings) 154 a restart (list of strings)
155 """ 155 """
156 super().__init__() 156 super().__init__()
157 self.setAttribute(Qt.WA_DeleteOnClose)
158 157
159 self.__restartArgs = restartArguments[:] 158 self.__restartArgs = restartArguments[:]
160 159
161 self.setStyle(Preferences.getUI("Style"), 160 self.setStyle(Preferences.getUI("Style"),
162 Preferences.getUI("StyleSheet")) 161 Preferences.getUI("StyleSheet"))

eric ide

mercurial