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 |
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 |