Re: IDE Appearance Skin changes, editor stays the same

2020-07-07 Thread Jack W.
Fonts & colors fixed it, thanks. --- Jack Woehr # Woehr's Asymptote: The ratio of the time spent Box 51, Golden CO 80402 # administering productivity software over the time http://www.softwoehr.com # saved by said software eventually approximates 1.

Re: IDE Appearance Skin changes, editor stays the same

2020-07-07 Thread Laszlo Kishalmi
On 7/7/20 11:55 AM, Jack W. wrote: In Tools -> Options I changed Appearance from Metal Dark to Metal. IDE changed, editor remains dark. What have I forgotten here, please? Upgrade to 12.0, though changing the Editor Color profile at: Tools > Options > Fonts & Colors > Profile usually helps as w

IDE Appearance Skin changes, editor stays the same

2020-07-07 Thread Jack W.
In Tools -> Options I changed Appearance from Metal Dark to Metal. IDE changed, editor remains dark. What have I forgotten here, please? --- Jack Woehr # Woehr's Asymptote: The ratio of the time spent Box 51, Golden CO 80402 # administering productivity software over the time http:/