diff options
| author | Tomás Touceda <chiiph@leap.se> | 2014-04-04 16:57:19 -0300 |
|---|---|---|
| committer | Tomás Touceda <chiiph@leap.se> | 2014-04-04 16:57:19 -0300 |
| commit | eb4cdab9c6b8ff66bb4667cc6195d2c366122540 (patch) | |
| tree | 6e66940af735e089803c5ce05ad1ce1df16c9d1e /changes/do_not_do_native_menu_in_linux | |
| parent | b40cc1c561f1f9375295ac31f857446e056cba07 (diff) | |
Fold in changes
Diffstat (limited to 'changes/do_not_do_native_menu_in_linux')
| -rw-r--r-- | changes/do_not_do_native_menu_in_linux | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/changes/do_not_do_native_menu_in_linux b/changes/do_not_do_native_menu_in_linux deleted file mode 100644 index 2a117a7e..00000000 --- a/changes/do_not_do_native_menu_in_linux +++ /dev/null @@ -1 +0,0 @@ -- Workaround a bug in Ubuntu where the menu is not displayed in the global menu bar. Fixes #5420.
\ No newline at end of file |