[wingide-users] Turning off incremental search default

It does look like unchecking the "Incremental" button in the search
manager is only for the current session and is forgotten if you close the
search manager.  We should probably de saving the search options in the
project... I'll check into this to see if we can add it in the next
release.

Thanks for pointing it out.

Stephan Deibel

--
Wing IDE for Python
Archaeopteryx Software, Inc
Take Flight!

www.wingide.com

On Wed, 12 Mar 2003, Marc Recht wrote:

> Hi!
> 
> Is there an option to not use incremental search by default ? I didn't 
> found a property setting and just turning it off in the Search-Manager 
> doesn't do the job..
> 
> Regards,
> Marc
> --
> omnis mundi creatura
> quasi liber et pictura
> nobis est in speculum
>   -- Alanus de Insulis
>