--- a/src/eric7/UI/UserInterface.py Fri Nov 24 12:06:59 2023 +0100 +++ b/src/eric7/UI/UserInterface.py Fri Nov 24 12:11:49 2023 +0100 @@ -3738,7 +3738,7 @@ self.__menus = {} mb = self.menuBar() if ( - OSUtilities.isLinuxPlatform() or OSUtilities.isBsdPlatform() + OSUtilities.isLinuxPlatform() or OSUtilities.isFreeBsdPlatform() ) and not Preferences.getUI("UseNativeMenuBar"): mb.setNativeMenuBar(False)