[plt-scheme] PLT search plugin

It also looks like one can add the keyword "plt" to the search and
then typing "plt whatever" in the address bar searches for "whatever"
in the plt docs.

Robby

On Sat, Sep 13, 2008 at 10:56 AM, Robby Findler <robby at cs.uchicago.edu> wrote:
> 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
>>
>>
>