![]() specifically, it doesn't trigger redrawing of the screen as aggressively, which seems to make a little difference under mac os x. I'd have liked to be more sophisticated in the way redraws are triggered, but I don't see how (see long comment in this commit for details) |
||
---|---|---|
.. | ||
private | ||
acks.rkt | ||
arrow.rkt | ||
check-syntax.rkt | ||
default-code-style.rkt | ||
doc.icns | ||
drracket.creator | ||
drracket.filetypes | ||
drracket.rkt | ||
drracket.utiexports | ||
drracket.wmclass | ||
info.rkt | ||
installer.rkt | ||
main.rkt | ||
pltdoc.icns | ||
sprof.rkt | ||
syncheck-drracket-button.rkt | ||
syncheck.rkt | ||
tool-lib.rkt | ||
tool.rkt |