make sure cursor and scroll position don't massively *jump* on sync; actually keeping stuff right though will require implementing my own fromJSON, which is serious.
make sure cursor and scroll position don't massively *jump* on sync; actually keeping stuff right though will require implementing my own fromJSON, which is serious.

DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc