Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/ApplicationPage.py
src/eric7/Preferences/ConfigurationPages/ApplicationPage.py
- branch
- eric7
- changeset 9624
- b47dfa7a137d
- parent 9473
- 3f23dbf37dbe
- child 9653
- e67609152c5e
equal
deleted
inserted
replaced
| 9623:9c1f429cb56b | 9624:b47dfa7a137d |
|---|---|
| 7 Module implementing the Application configuration page. | 7 Module implementing the Application configuration page. |
| 8 """ | 8 """ |
| 9 | 9 |
| 10 import multiprocessing | 10 import multiprocessing |
| 11 | 11 |
| 12 from eric7 import Globals, Preferences | 12 from eric7 import Preferences |
| 13 from eric7.SystemUtilities import OSUtilities | |
| 13 | 14 |
| 14 from .ConfigurationPageBase import ConfigurationPageBase | 15 from .ConfigurationPageBase import ConfigurationPageBase |
| 15 from .Ui_ApplicationPage import Ui_ApplicationPage | 16 from .Ui_ApplicationPage import Ui_ApplicationPage |
| 16 | 17 |
| 17 | 18 |
| 51 self.splashScreenCheckBox.setChecked(Preferences.getUI("ShowSplash")) | 52 self.splashScreenCheckBox.setChecked(Preferences.getUI("ShowSplash")) |
| 52 self.crashSessionEnabledCheckBox.setChecked( | 53 self.crashSessionEnabledCheckBox.setChecked( |
| 53 Preferences.getUI("CrashSessionEnabled") | 54 Preferences.getUI("CrashSessionEnabled") |
| 54 ) | 55 ) |
| 55 self.globalMenuCheckBox.setChecked(Preferences.getUI("UseNativeMenuBar")) | 56 self.globalMenuCheckBox.setChecked(Preferences.getUI("UseNativeMenuBar")) |
| 56 if not Globals.isLinuxPlatform(): | 57 if not OSUtilities.isLinuxPlatform(): |
| 57 self.globalMenuCheckBox.hide() | 58 self.globalMenuCheckBox.hide() |
| 58 | 59 |
| 59 openOnStartup = Preferences.getUI("OpenOnStartup") | 60 openOnStartup = Preferences.getUI("OpenOnStartup") |
| 60 if openOnStartup == 0: | 61 if openOnStartup == 0: |
| 61 self.noOpenRadioButton.setChecked(True) | 62 self.noOpenRadioButton.setChecked(True) |
| 110 ) | 111 ) |
| 111 Preferences.setUI("ShowSplash", self.splashScreenCheckBox.isChecked()) | 112 Preferences.setUI("ShowSplash", self.splashScreenCheckBox.isChecked()) |
| 112 Preferences.setUI( | 113 Preferences.setUI( |
| 113 "CrashSessionEnabled", self.crashSessionEnabledCheckBox.isChecked() | 114 "CrashSessionEnabled", self.crashSessionEnabledCheckBox.isChecked() |
| 114 ) | 115 ) |
| 115 if Globals.isLinuxPlatform(): | 116 if OSUtilities.isLinuxPlatform(): |
| 116 Preferences.setUI("UseNativeMenuBar", self.globalMenuCheckBox.isChecked()) | 117 Preferences.setUI("UseNativeMenuBar", self.globalMenuCheckBox.isChecked()) |
| 117 | 118 |
| 118 if self.noOpenRadioButton.isChecked(): | 119 if self.noOpenRadioButton.isChecked(): |
| 119 openOnStartup = 0 | 120 openOnStartup = 0 |
| 120 elif self.lastFileRadioButton.isChecked(): | 121 elif self.lastFileRadioButton.isChecked(): |
