216aee244f
this means that various things that try to color and otherwise show info by changing the way the editor looks no longer need to worry about whether it is locked and delay things in some complicated way. also, this means that users can edit while drracket is running the program which is hopefully less confusing. |
||
|---|---|---|
| .. | ||
| annotate.rkt | ||
| colors.rkt | ||
| contract-traversal.rkt | ||
| gui.rkt | ||
| intf.rkt | ||
| online-comp.rkt | ||
| traversals.rkt | ||