From 379d13b2b56a50251144c52273aa0352df7c0222 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s=20Touceda?= Date: Fri, 4 Apr 2014 15:33:31 -0300 Subject: Do not do native menu bars in Linux for now --- changes/do_not_do_native_menu_in_linux | 1 + 1 file changed, 1 insertion(+) create mode 100644 changes/do_not_do_native_menu_in_linux (limited to 'changes/do_not_do_native_menu_in_linux') 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 -- cgit v1.2.3