[plt-scheme] Case Sensitive Search

I decided that it took up too much space but you can certainly make a
plugin that adds it. Let me know if you get stuck.

Robby

On 4/2/09, Paulo J. Matos <pocmatos at gmail.com> wrote:
> 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
>