Merged remote changes.

Sun, 24 Apr 2016 13:00:10 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 24 Apr 2016 13:00:10 +0200
changeset 4950
c3dbf3051b1a
parent 4949
3bd391831934 (diff)
parent 4945
aa494a61240b (current diff)
child 4952
d3559dd4e1bc

Merged remote changes.

--- a/UI/UserInterface.py	Wed Apr 20 19:39:10 2016 +0200
+++ b/UI/UserInterface.py	Sun Apr 24 13:00:10 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