diff options
| author | Tomás Touceda <chiiph@leap.se> | 2014-04-04 15:33:31 -0300 |
|---|---|---|
| committer | Tomás Touceda <chiiph@leap.se> | 2014-04-04 15:45:04 -0300 |
| commit | 379d13b2b56a50251144c52273aa0352df7c0222 (patch) | |
| tree | 425d62327bae4043258d2172ce1ffcc90eb87c05 /changes | |
| parent | eb329856512b9eb0ea3a7891af42c747837be427 (diff) | |
Do not do native menu bars in Linux for now
Diffstat (limited to 'changes')
| -rw-r--r-- | changes/do_not_do_native_menu_in_linux | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changes/do_not_do_native_menu_in_linux b/changes/do_not_do_native_menu_in_linux new file mode 100644 index 00000000..2a117a7e --- /dev/null +++ b/changes/do_not_do_native_menu_in_linux @@ -0,0 +1 @@ +- Workaround a bug in Ubuntu where the menu is not displayed in the global menu bar. Fixes #5420.
\ No newline at end of file |