[plt-scheme] Case Sensitive Search

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Thu Apr 2 08:52:34 EDT 2009

On Thu, Apr 2, 2009 at 12:49 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> 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.
>

OK, thanks!

> 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
>>
>



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


Posted on the users mailing list.