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 Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/705112 Title: the menubar with appmenu-gtk is 1px tall -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
