[wingide-users] Searches auto-restart even when turned off

Hugh Gibson hgibson at cix.co.uk
Fri Nov 12 15:52:00 EST 2004

> Actually, quite a few of these settings are considered specific to the
> view so you can create multiple search managers without them interfering
> with each other.  Wing should probably save the state of the most recent
> one if all are closed to avoid the problem you're seeing but we do want 
> to make it possible to set different options for different search 
> manager instances so these values are not stored in the central 
> preferences file.

How about default settings for these values, stored in preferences?


More information about the wingide-users mailing list