<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>&nbsp;&nbsp;Ctrl-K &lt;search phrase&gt; ENTER
<br><br>versus<br><br>&nbsp;&nbsp;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.&nbsp;&nbsp;Unless I can define a<br>shortcut to access hoogle quickly there&#39;s no advantage.
</blockquote><div><br>To search Hoogle I just type&nbsp; Ctrl-K F4 h &lt;search phrase&gt; ENTER.&nbsp; Once you&#39;re in the search box, F4 (or alt-up/alt-down) let you select a particular search engine.<br><br>-Brent<br></div></div>