diff options
| author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-04-04 15:47:07 -0300 |
|---|---|---|
| committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2014-04-04 15:47:07 -0300 |
| commit | d02068a3b9c8b60610ec6b62a7124589b4487148 (patch) | |
| tree | 425d62327bae4043258d2172ce1ffcc90eb87c05 /changes/do_not_do_native_menu_in_linux | |
| parent | eb329856512b9eb0ea3a7891af42c747837be427 (diff) | |
| parent | 379d13b2b56a50251144c52273aa0352df7c0222 (diff) | |
Merge remote-tracking branch 'chiiph/bug/do_not_do_native_menu_in_linux' into develop
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, 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 |