eric6/UI/UserInterface.py

changeset 8227
349308e84eeb
parent 8220
006ee31b4835
child 8228
772103b14c18
equal deleted inserted replaced
8226:6dc5b1db7bdc 8227:349308e84eeb
198 self.setStyle(Preferences.getUI("Style"), 198 self.setStyle(Preferences.getUI("Style"),
199 Preferences.getUI("StyleSheet")) 199 Preferences.getUI("StyleSheet"))
200 200
201 self.maxEditorPathLen = Preferences.getUI("CaptionFilenameLength") 201 self.maxEditorPathLen = Preferences.getUI("CaptionFilenameLength")
202 self.locale = locale 202 self.locale = locale
203 self.__noOpenAtStartup = noOpenAtStartup 203 self.__openAtStartup = not noOpenAtStartup
204 self.__noCrashOpenAtStartup = noCrashOpenAtStartup 204 self.__noCrashOpenAtStartup = noCrashOpenAtStartup
205 self.__disableCrashSession = disableCrashSession 205 self.__disableCrashSession = disableCrashSession
206 self.__disabledPlugins = disabledPlugins[:] 206 self.__disabledPlugins = disabledPlugins[:]
207 207
208 self.__originalPathString = originalPathString 208 self.__originalPathString = originalPathString
1390 if self.__readCrashSession(): 1390 if self.__readCrashSession():
1391 return 1391 return
1392 1392
1393 # no args, return 1393 # no args, return
1394 if args is None: 1394 if args is None:
1395 if not self.__noOpenAtStartup: 1395 if self.__openAtStartup:
1396 self.__openOnStartup() 1396 self.__openOnStartup()
1397 return 1397 return
1398 1398
1399 opens = 0 1399 opens = 0
1400 1400
1456 1456
1457 # store away any args we had 1457 # store away any args we had
1458 if argsStr is not None: 1458 if argsStr is not None:
1459 self.debuggerUI.setArgvHistory(argsStr) 1459 self.debuggerUI.setArgvHistory(argsStr)
1460 1460
1461 if opens == 0: 1461 if opens == 0 and self.__openAtStartup:
1462 # no files, project or multiproject was given 1462 # no files, project or multiproject was given
1463 if not self.__noOpenAtStartup: 1463 self.__openOnStartup()
1464 self.__openOnStartup()
1465 1464
1466 def processInstallInfoFile(self): 1465 def processInstallInfoFile(self):
1467 """ 1466 """
1468 Public method to process the file containing installation information. 1467 Public method to process the file containing installation information.
1469 """ 1468 """
6950 return True 6949 return True
6951 6950
6952 if self.__webBrowserProcess is not None: 6951 if self.__webBrowserProcess is not None:
6953 self.__webBrowserShutdown() 6952 self.__webBrowserShutdown()
6954 6953
6955 if self.irc is not None: 6954 if self.irc is not None and not self.irc.shutdown():
6956 if not self.irc.shutdown(): 6955 return False
6957 return False
6958 6956
6959 sessionCreated = self.__writeSession() 6957 sessionCreated = self.__writeSession()
6960 6958
6961 self.__astViewer.hide() 6959 self.__astViewer.hide()
6962 6960

eric ide

mercurial