--- a/src/eric7/Preferences/ConfigurationPages/ApplicationPage.py Fri Nov 24 12:06:59 2023 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/ApplicationPage.py Fri Nov 24 12:11:49 2023 +0100 @@ -54,7 +54,7 @@ Preferences.getUI("CrashSessionEnabled") ) self.globalMenuCheckBox.setChecked(Preferences.getUI("UseNativeMenuBar")) - if not OSUtilities.isLinuxPlatform() and not OSUtilities.isBsdPlatform(): + if not OSUtilities.isLinuxPlatform() and not OSUtilities.isFreeBsdPlatform(): self.globalMenuCheckBox.hide() openOnStartup = Preferences.getUI("OpenOnStartup") @@ -113,7 +113,7 @@ Preferences.setUI( "CrashSessionEnabled", self.crashSessionEnabledCheckBox.isChecked() ) - if OSUtilities.isLinuxPlatform() or OSUtilities.isBsdPlatform(): + if OSUtilities.isLinuxPlatform() or OSUtilities.isFreeBsdPlatform(): Preferences.setUI("UseNativeMenuBar", self.globalMenuCheckBox.isChecked()) if self.noOpenRadioButton.isChecked():