summaryrefslogtreecommitdiff
path: root/changes
diff options
context:
space:
mode:
Diffstat (limited to 'changes')
-rw-r--r--changes/do_not_do_native_menu_in_linux1
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