208 """ |
208 """ |
209 super().__init__() |
209 super().__init__() |
210 |
210 |
211 self.__restartArgs = restartArguments[:] |
211 self.__restartArgs = restartArguments[:] |
212 |
212 |
213 self.setStyle(Preferences.getUI("Style"), Preferences.getUI("StyleSheet")) |
213 self.setStyle( |
|
214 styleName=Preferences.getUI("Style"), |
|
215 styleSheetFile=Preferences.getUI("StyleSheet"), |
|
216 itemClickBehavior=Preferences.getUI("ActivateItemOnSingleClick"), |
|
217 ) |
214 |
218 |
215 self.maxEditorPathLen = Preferences.getUI("CaptionFilenameLength") |
219 self.maxEditorPathLen = Preferences.getUI("CaptionFilenameLength") |
216 self.locale = locale |
220 self.locale = locale |
217 self.__openAtStartup = not noOpenAtStartup |
221 self.__openAtStartup = not noOpenAtStartup |
218 self.__noCrashOpenAtStartup = noCrashOpenAtStartup |
222 self.__noCrashOpenAtStartup = noCrashOpenAtStartup |
577 self.__ericServerInterface.aboutToDisconnect.connect( |
581 self.__ericServerInterface.aboutToDisconnect.connect( |
578 self.viewmanager.closeRemoteEditors |
582 self.viewmanager.closeRemoteEditors |
579 ) |
583 ) |
580 |
584 |
581 # create the toolbar manager object |
585 # create the toolbar manager object |
582 self.toolbarManager = EricToolBarManager(self, self) |
586 self.toolbarManager = EricToolBarManager( |
|
587 ui=self, iconSize=Preferences.getIcons("IconSize"), parent=self |
|
588 ) |
583 self.toolbarManager.setMainWindow(self) |
589 self.toolbarManager.setMainWindow(self) |
584 self.preferencesChanged.connect(self.toolbarManager.preferencesChanged) |
|
585 |
590 |
586 # Initialize the tool groups and list of started tools |
591 # Initialize the tool groups and list of started tools |
587 splash.showMessage(self.tr("Initializing Tools...")) |
592 splash.showMessage(self.tr("Initializing Tools...")) |
588 logging.getLogger(__name__).debug("Initializing Tools...") |
593 logging.getLogger(__name__).debug("Initializing Tools...") |
589 self.toolGroups, self.currentToolGroup = Preferences.readToolGroups() |
594 self.toolGroups, self.currentToolGroup = Preferences.readToolGroups() |
7387 """ |
7392 """ |
7388 Private slot to handle a change of the preferences. |
7393 Private slot to handle a change of the preferences. |
7389 """ |
7394 """ |
7390 from eric7.HexEdit.HexEditMainWindow import HexEditMainWindow |
7395 from eric7.HexEdit.HexEditMainWindow import HexEditMainWindow |
7391 |
7396 |
7392 self.setStyle(Preferences.getUI("Style"), Preferences.getUI("StyleSheet")) |
7397 self.setStyle( |
|
7398 styleName=Preferences.getUI("Style"), |
|
7399 styleSheetFile=Preferences.getUI("StyleSheet"), |
|
7400 itemClickBehavior=Preferences.getUI("ActivateItemOnSingleClick"), |
|
7401 ) |
7393 |
7402 |
7394 if Preferences.getUI("SingleApplicationMode"): |
7403 if Preferences.getUI("SingleApplicationMode"): |
7395 if self.SAServer is None: |
7404 if self.SAServer is None: |
7396 self.SAServer = EricSingleApplicationServer() |
7405 self.SAServer = EricSingleApplicationServer() |
7397 else: |
7406 else: |
7408 self.bottomSidebar.setIconBarSize(Preferences.getUI("IconBarSize")) |
7417 self.bottomSidebar.setIconBarSize(Preferences.getUI("IconBarSize")) |
7409 |
7418 |
7410 if self.rightSidebar: |
7419 if self.rightSidebar: |
7411 self.rightSidebar.setIconBarColor(Preferences.getUI("IconBarColor")) |
7420 self.rightSidebar.setIconBarColor(Preferences.getUI("IconBarColor")) |
7412 self.rightSidebar.setIconBarSize(Preferences.getUI("IconBarSize")) |
7421 self.rightSidebar.setIconBarSize(Preferences.getUI("IconBarSize")) |
|
7422 |
|
7423 self.toolbarManager.setIconSize(Preferences.getIcons("IconSize")) |
7413 |
7424 |
7414 self.maxEditorPathLen = Preferences.getUI("CaptionFilenameLength") |
7425 self.maxEditorPathLen = Preferences.getUI("CaptionFilenameLength") |
7415 self.captionShowsFilename = Preferences.getUI("CaptionShowsFilename") |
7426 self.captionShowsFilename = Preferences.getUI("CaptionShowsFilename") |
7416 if not self.captionShowsFilename: |
7427 if not self.captionShowsFilename: |
7417 self.__setWindowCaption(editor="") |
7428 self.__setWindowCaption(editor="") |