[wingide-users] Searches auto-restart even when turned off
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