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

[Celso Pinto]

Public bug reported:
https://launchpad.net/malone/bugs/28715

Affects: devhelp (Ubuntu)
       Severity: Normal
       Priority: (none set)
         Status: Unconfirmed

Description:
Having the search box/list in a separate tab makes browsing the devel-
docs quite difficult. I've noticed that search already auto-completes
(meaning, when you search for something, the results list is immediately
filled with results).

Given that devhelp has a huge toolbar for a couple of buttons, a better
use for the toolbar would be to have a search box, similar to a
browser's location bar where the user can type the search keywords and
the dropdown would show the matches.

Devhelp is very, very useful for new developers like myself and it could
use some overhaul.