cache cm editor selections, so not lost -- note, we introduce a small memory leak here...
cache cm editor selections, so not lost -- note, we introduce a small memory leak here...

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