diff -r 0fbc876d7468 -r 0313134e20b1 Preferences/__init__.py
--- a/Preferences/__init__.py Tue Mar 13 18:20:40 2018 +0100
+++ b/Preferences/__init__.py Tue Mar 13 19:47:48 2018 +0100
@@ -200,6 +200,7 @@
"ShowSplash": True,
"SingleCloseButton": False,
"SplitOrientationVertical": False,
+ "UseNativeMenuBar": True,
"PerformVersionCheck": 4,
# 0 = off
@@ -1953,7 +1954,8 @@
"RequestDownloadFilename",
"LayoutShellEmbedded", "LayoutFileBrowserEmbedded",
"CheckErrorLog", "NotificationsEnabled", "DynamicOnlineCheck",
- "OpenCrashSessionOnStartup", "CrashSessionEnabled"]:
+ "OpenCrashSessionOnStartup", "CrashSessionEnabled",
+ "UseNativeMenuBar"]:
return toBool(prefClass.settings.value(
"UI/" + key, prefClass.uiDefaults[key]))
elif key in ["TabViewManagerFilenameLength", "CaptionFilenameLength",
