[plt-scheme] PLT search plugin

From: Marek Kubica (marek at xivilization.net)
Date: Sat Sep 13 11:51:27 EDT 2008

On Sat, 13 Sep 2008 10:39:14 -0500
"Robby Findler" <robby at cs.uchicago.edu> wrote:

> Do you know if there is a way, via the keyboard, to switch between
> google and searching plt? Or perhaps a way to get two search bars up
> there?

When you are in the the search bar (Ctrl-K) you can cycle the search
engines via Ctrl-Up and Down. If you order them so that PLT comes after
Google (or before Google! :) you can switch quite easily.

Two search bars are getting harder, the best thing I have found was
the Second Search extension:
<https://addons.mozilla.org/en-US/firefox/addon/4096>

regards,
Marek


Posted on the users mailing list.