** Bug watch added: GNOME Bug Tracker #327531 http://bugzilla.gnome.org/show_bug.cgi?id=327531
** Also affects: devhelp (upstream) via http://bugzilla.gnome.org/show_bug.cgi?id=327531 Importance: Unknown Status: Unknown -- Search tab is useless, make it a search bar https://launchpad.net/bugs/28715 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
