I committed a change to "syncheck.ss" using the new `delay/idle'.
(The `status-loading-docs-index' is now redundant, should IU remove
it?)
Note that on winooski (which is very fast in general), loading the
docs takes some noticeable time, around 10-15 seconds IIRC. This
means that an average machine can take up to twice that -- so don't
try to run drscheme and click check syntax after a few seconds to see
how it works. If you use it too early, then the idle promise gets
forced, which uses the cpu time as usual to get it done -- and that
will look as it always did.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
