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