fix a bug in the project that could make it so a file won't save to disk for a while.
fix a bug in the project that could make it so a file won't save to disk for a while.

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