Robby Findler d688a1f9e3 misc improvements to the white on black view in drscheme (also added explicit buttons that switch to a default set of colors and also flips a preferences flag for more coarse grained control) ...

svn: r5892

2007-04-08 23:30:58 +00:00

613 B

27x28px

Raw History