![]() so that printing an error no longer blocks (on user actions) but still uses the GUI. Also: when new errors are generated while a dialog box showing an error is still open, then just ignore those errors. Also, if an error is generated that has been shown in the last 5 minutes, ignore the new one. |
||
---|---|---|
.. | ||
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 |