FWIW: the menu dumps are the same whether I see the gap or the Tools/Tabs menu.
** Attachment added: "gedit_gap.dump" http://launchpadlibrarian.net/51482581/gedit_gap.dump -- 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 [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
