From: Štěpán Němec (stepnem at gmail.com) Date: Fri Jun 4 08:40:27 EDT 2010 |
|
Hello, although I've set dark background and it works in DrScheme's interaction and definition windows, the macro stepper seems to ignore the settings (i.e. it's still black text on white background); is this a known issue (or even the intended behaviour)? I don't see any macro-stepper-specific settings... I'm using the PLT 4.2.5 Debian installer downloaded from the website. Best regards, Štěpán
Posted on the users mailing list. |
|