[Bug 28715] Re: Search tab is useless, make it a search bar

[Dean Sas]

** 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