![]() - lets other events be handled based on how long it has been replaying the current trace (instead of based on the number of pieces in the trace that have been seen) - breaks up the syncheck:add-rename-menu pieces of the trace to be more granular (to make the previous point work better) This should make DrRacket more responsive when the trace is being replayed |
||
---|---|---|
.. | ||
syncheck | ||
app.rkt | ||
auto-language.rkt | ||
bindings-browser.rkt | ||
bitmap-message.rkt | ||
colored-errors.rkt | ||
debug.rkt | ||
dock-icon.rkt | ||
drracket-normal.rkt | ||
drsig.rkt | ||
eb.rkt | ||
embedded-snip-utils.rkt | ||
eval-helpers.rkt | ||
eval.rkt | ||
expanding-place.rkt | ||
font.rkt | ||
frame-icon.rkt | ||
frame.rkt | ||
get-defs.rkt | ||
get-extend.rkt | ||
help-desk.rkt | ||
honu-logo.rkt | ||
init.rkt | ||
insert-large-letters.rkt | ||
interface.rkt | ||
key.rkt | ||
label-frame-mred.rkt | ||
language-configuration.rkt | ||
language-object-contract.rkt | ||
language.rkt | ||
launcher-bootstrap.rkt | ||
launcher-mred-bootstrap.rkt | ||
launcher-mz-bootstrap.rkt | ||
link.rkt | ||
local-member-names.rkt | ||
main.rkt | ||
modes.rkt | ||
module-browser.rkt | ||
module-language-tools.rkt | ||
module-language.rkt | ||
multi-file-search.rkt | ||
number-snip.rkt | ||
palaka.rkt | ||
pict-snip.rkt | ||
profile-drs.rkt | ||
recon.rkt | ||
rectangle-intersect.rkt | ||
rep.rkt | ||
stack-checkpoint.rkt | ||
stick-figures.rkt | ||
syncheck-debug.rkt | ||
text.rkt | ||
tool-contract-language.rkt | ||
tools-drs.rkt | ||
tools.rkt | ||
tooltip.rkt | ||
tracing.rkt | ||
ts.rkt | ||
unit.rkt |