UI/UserInterface.py

branch
6_1_x
changeset 4951
59ee32941a5b
parent 4898
87f323577ce1
child 5093
7adeb9ded17d
--- a/UI/UserInterface.py	Wed Apr 20 19:41:34 2016 +0200
+++ b/UI/UserInterface.py	Sun Apr 24 12:58:15 2016 +0200
@@ -2397,6 +2397,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