** 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 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs