<br><div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Well, for the default Google searchbox the advantage is:<br><br> Ctrl-K <search phrase> ENTER
<br><br>versus<br><br> grab mouse .. point ... click ... move hand back to keyboard ... type<br>search phrase, ENTER<br><br>I never used any of the secondary search bars. Unless I can define a<br>shortcut to access hoogle quickly there's no advantage.
</blockquote><div><br>To search Hoogle I just type Ctrl-K F4 h <search phrase> ENTER. Once you're in the search box, F4 (or alt-up/alt-down) let you select a particular search engine.<br><br>-Brent<br></div></div>