[wingide-users] Switching between multiple settings

konrad.hinsen at laposte.net konrad.hinsen at laposte.net
Sat Sep 30 02:19:26 MDT 2006


On 29.09.2006, at 16:37, Wingware Support wrote:

> Konrad Hinsen wrote:
>> Is there a way to store two or more configurations and switch  
>> between them rapidly? I'd like to use different window sizes and  
>> different fonts depending on whether I use the internal display of  
>> my laptop or an external screen.
>
> Preference settings are stored in ~/.wingide2/preferences on non- 
> win32 systems, which is .ini style text file.  You could modify  
> that file or replace it with an alternate file when you want to  
> switch.  It's also possible to create preference files that  
> override only selected settings -- see http://wingware.com/doc/ 
> custom/preferences-file-layers

That's useful indeed, but unfortunately some of the information that  
I want to modify, in particular window sizes and layouts, seem to be  
stored in the project files rather than in the preference file.

Konrad.



More information about the wingide-users mailing list