[plt-scheme] PLT search plugin

Thanks!

(On the mac, it is command and the arrow keys and alt-arrow-keys pops
up a menu, apparently)

Robby

On Sat, Sep 13, 2008 at 10:51 AM, Marek Kubica <marek at xivilization.net> wrote:
> 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
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
>