codemirror: restore viewport and cursor if changes when refreshing codemirror (I observed a change).
codemirror: restore viewport and cursor if changes when refreshing codemirror (I observed a change).

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