I should've complained earlier! Yes, I figured everyone just put up
with this. :) It's so bad that I never use F1 and just keep a page
open to the docs. Even then, any search still locks up the browser for
a painfully long time.
Thanks for bringing this up. I should've said something sooner.
Dave
On Jun 6, 2009, at 6:59 PM, Neil Van Dyke wrote:
> I just got private email from someone that he doesn't experience
> this problem (on Linux with Firefox). And Eli has said in the past
> that he doesn't experience it either.
>>> Matthias Felleisen wrote at 06/06/2009 06:48 PM:
>> I have complained about this often. Happens on safari and others,
>> too.
>>>>>> On Jun 6, 2009, at 5:48 PM, Neil Van Dyke wrote:
>>> Does anyone else's entire Firefox 3 lock up completely for around
>>> 15 seconds *every* time they either load the PLT "Search Manuals"
>>> or enter a query in the "...search manuals..." field that's at the
>>> top of each page?
>> _________________________________________________
> For list-related administrative tasks:
>http://list.cs.brown.edu/mailman/listinfo/plt-scheme