You mean appmenu-gtk 0.0.9? Actually I _don't_ want to see the Tools menu as I don't have one in the original menu bar. Here are the versions I'm currently using (should be up-to-date):
indicator-appmenu: Installed: 0.0.7-0ubuntu2 appmenu-gtk: Installed: 0.0.9-0ubuntu3 bamfdaemon: Installed: 0.2.32-0ubuntu1 libdbusmenu-gtk1: Installed: 0.3.3-0ubuntu1 unity: Installed: 0.2.12-0ubuntu2 -- Gedit: Hidden menu causing gap https://bugs.launchpad.net/bugs/600191 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
