--- a/UI/UserInterface.py	Tue Mar 13 18:20:40 2018 +0100
+++ b/UI/UserInterface.py	Tue Mar 13 19:47:48 2018 +0100
@@ -2568,7 +2568,8 @@
         self.__menus = {}
         mb = self.menuBar()
         # TODO: make this configurable (True default)
-        if Utilities.isLinuxPlatform():
+        if Utilities.isLinuxPlatform() and \
+           not Preferences.getUI("UseNativeMenuBar"):
             mb.setNativeMenuBar(False)
         
         self.__menus["file"] = self.viewmanager.initFileMenu()