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://www.softwoehr.com # saved by said software eventually approximates 1.
