[plt-scheme] Case Sensitive Search

From: Jos Koot (jos.koot at telefonica.net)
Date: Thu Apr 2 03:56:11 EDT 2009

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
>


Posted on the users mailing list.