UI/UserInterface.py

changeset 4949
3bd391831934
parent 4907
1e3d61349671
child 4979
7ac0959842f9
diff -r d6d362104f83 -r 3bd391831934 UI/UserInterface.py
--- a/UI/UserInterface.py	Fri Apr 15 19:55:52 2016 +0200
+++ b/UI/UserInterface.py	Sun Apr 24 12:58:15 2016 +0200
@@ -2433,6 +2433,8 @@
         """
         self.__menus = {}
         mb = self.menuBar()
+        if Utilities.isLinuxPlatform():
+            mb.setNativeMenuBar(False)
         
         self.__menus["file"] = self.viewmanager.initFileMenu()
         mb.addMenu(self.__menus["file"])

eric ide

mercurial