Robby Findler dd39016e04 color scheme improvements ... - shorten the example text - fix a bug that would prevent info-based color schemes to be set properly when drracket first starts up - make the preferences dialog examples use the user's preferred font, not the default font - move the documentation and info buttons to the top of color scheme section of the prefs dialog - added a checkbox to go back to the default version of the color scheme original commit: a37d5399ae5f2e0cd6ea165612b282f5978b27c8		2013-09-13 21:18:01 -05:00
pkgs	color scheme improvements	2013-09-13 21:18:01 -05:00