Mercurial Repositories > eric / file diff

diff -r 0fbc876d7468 -r 0313134e20b1 Preferences/ConfigurationPages/ApplicationPage.py
--- a/Preferences/ConfigurationPages/ApplicationPage.py	Tue Mar 13 18:20:40 2018 +0100
+++ b/Preferences/ConfigurationPages/ApplicationPage.py	Tue Mar 13 19:47:48 2018 +0100
@@ -13,6 +13,7 @@
 from .Ui_ApplicationPage import Ui_ApplicationPage
 
 import Preferences
+import Globals
 
 
 class ApplicationPage(ConfigurationPageBase, Ui_ApplicationPage):
@@ -42,6 +43,10 @@
             Preferences.getUI("ShowSplash"))
         self.crashSessionEnabledCheckBox.setChecked(
             Preferences.getUI("CrashSessionEnabled"))
+        self.globalMenuCheckBox.setChecked(
+            Preferences.getUI("UseNativeMenuBar"))
+        if not Globals.isLinuxPlatform():
+            self.globalMenuCheckBox.hide()
         
         openOnStartup = Preferences.getUI("OpenOnStartup")
         if openOnStartup == 0:
@@ -94,6 +99,10 @@
         Preferences.setUI(
             "CrashSessionEnabled",
             self.crashSessionEnabledCheckBox.isChecked())
+        if Globals.isLinuxPlatform():
+            Preferences.setUI(
+                "UseNativeMenuBar",
+                self.globalMenuCheckBox.isChecked())
         
         if self.noOpenRadioButton.isChecked():
             openOnStartup = 0