use global menu only on linux due to behavior difference on Windows
On Windows, the menu is always shown like a traditionnal menu inside the window. We do not want that.
On Windows, the menu is always shown like a traditionnal menu inside the window. We do not want that.