diff options
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 |