[wingide-users] Factory defaults button does what?

[Jonathan March]

I cannot find a reference in the help documents nor online to the "Factory
Defaults" button in Preferences. I was trying unsuccessfully (not for the
first time) to change colors to a usable dark background theme. Failed
miserably, wanted to reset to default colors but do NOT want to reset other
factory defaults.

4.0.0 beta 4
Thanks,
Jonathan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/wingide-users/attachments/20101007/51f4c0aa/attachment.html