![]() so that it changes immediately when the black-on-white and white-on-black buttons are pushed in the preferences dialog - expanded the color preferences api a little to allow the specification of background colors in addition to the foreground/style information already there - changed the test coverage style so that the colors are settable in the preferences dialog closes PR 11704 |
||
---|---|---|
.. | ||
private | ||
collapsed-snipclass.rkt | ||
comment-snip.rkt | ||
decorated-editor-snip.rkt | ||
doc.txt | ||
framework-sig.rkt | ||
framework-unit.rkt | ||
framework.rkt | ||
gui-utils.rkt | ||
keybinding-lang.rkt | ||
main.rkt | ||
preferences.rkt | ||
splash.rkt | ||
test.rkt |