[plt-scheme] Case Sensitive Search

Thanks for the replies on this. I didn't see that check menu there...
I would have thought it would make more sense to put it in the search
bar that shows up when you try to search for something...

Cheers,

Paulo Matos

On Thu, Apr 2, 2009 at 7:56 AM, Jos Koot <jos.koot at telefonica.net> wrote:
> If you mean DrScheme's search, yes. Look in the edit menu and toggle Find
> Case Sensitive on or off.
> For the search in Help I don't see a case sensitive search option.
> Jos
>
> ----- Original Message ----- From: "Paulo J. Matos" <pocmatos at gmail.com>
> To: "PLT-Scheme Mailing List" <plt-scheme at list.cs.brown.edu>
> Sent: Thursday, April 02, 2009 1:16 AM
> Subject: [plt-scheme] Case Sensitive Search
>
>
>> Hi all,
>>
>> Is there a way to make the search case sensitive?
>>
>> Cheers,
>>
>> --
>> Paulo Jorge Matos - pocmatos at gmail.com
>> Webpage: http://www.personal.soton.ac.uk/pocm
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm