autosave fallout: don't save files before they are loaded -- otherwise sometimes browser suddenly can't open a file since it autosaved during open
autosave fallout: don't save files before they are loaded -- otherwise sometimes browser suddenly can't open a file since it autosaved during open

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