Mercurial Repositories > eric / file comparison
comparison: src/eric7/Preferences/ConfigurationPages/ApplicationPage.py
src/eric7/Preferences/ConfigurationPages/ApplicationPage.py
- branch
- eric7
- changeset 10334
- 24300d16a154
- parent 10069
- 435cc5875135
- child 10339
- 446d22fa1aea
equal
deleted
inserted
replaced
| 10333:4aa8d3b69832 | 10334:24300d16a154 |
|---|---|
| 52 self.splashScreenCheckBox.setChecked(Preferences.getUI("ShowSplash")) | 52 self.splashScreenCheckBox.setChecked(Preferences.getUI("ShowSplash")) |
| 53 self.crashSessionEnabledCheckBox.setChecked( | 53 self.crashSessionEnabledCheckBox.setChecked( |
| 54 Preferences.getUI("CrashSessionEnabled") | 54 Preferences.getUI("CrashSessionEnabled") |
| 55 ) | 55 ) |
| 56 self.globalMenuCheckBox.setChecked(Preferences.getUI("UseNativeMenuBar")) | 56 self.globalMenuCheckBox.setChecked(Preferences.getUI("UseNativeMenuBar")) |
| 57 if not OSUtilities.isLinuxPlatform(): | 57 if not OSUtilities.isLinuxPlatform() and not OSUtilities.isBsdPlatform(): |
| 58 self.globalMenuCheckBox.hide() | 58 self.globalMenuCheckBox.hide() |
| 59 | 59 |
| 60 openOnStartup = Preferences.getUI("OpenOnStartup") | 60 openOnStartup = Preferences.getUI("OpenOnStartup") |
| 61 if openOnStartup == 0: | 61 if openOnStartup == 0: |
| 62 self.noOpenRadioButton.setChecked(True) | 62 self.noOpenRadioButton.setChecked(True) |
| 111 ) | 111 ) |
| 112 Preferences.setUI("ShowSplash", self.splashScreenCheckBox.isChecked()) | 112 Preferences.setUI("ShowSplash", self.splashScreenCheckBox.isChecked()) |
| 113 Preferences.setUI( | 113 Preferences.setUI( |
| 114 "CrashSessionEnabled", self.crashSessionEnabledCheckBox.isChecked() | 114 "CrashSessionEnabled", self.crashSessionEnabledCheckBox.isChecked() |
| 115 ) | 115 ) |
| 116 if OSUtilities.isLinuxPlatform(): | 116 if OSUtilities.isLinuxPlatform() or OSUtilities.isBsdPlatform(): |
| 117 Preferences.setUI("UseNativeMenuBar", self.globalMenuCheckBox.isChecked()) | 117 Preferences.setUI("UseNativeMenuBar", self.globalMenuCheckBox.isChecked()) |
| 118 | 118 |
| 119 if self.noOpenRadioButton.isChecked(): | 119 if self.noOpenRadioButton.isChecked(): |
| 120 openOnStartup = 0 | 120 openOnStartup = 0 |
| 121 elif self.lastFileRadioButton.isChecked(): | 121 elif self.lastFileRadioButton.isChecked(): |
