This patch fixes a couple of coding style issues and simplifies gtk_menubar_show and _hide.
** Patch added: "Re-re-try of the fixed patch using map/unmap" https://bugs.launchpad.net/ubuntu/+source/gtk+2.0/+bug/705112/+attachment/1910444/+files/043_ubuntu_menu_proxy.patch -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gtk+2.0 in ubuntu. https://bugs.launchpad.net/bugs/705112 Title: the menubar with appmenu-gtk is 1px tall -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs