diff options
| -rw-r--r-- | gui.js | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -228,6 +228,8 @@ IDE_Morph.prototype.init = function (isAutoFill) { // override inherited properites: this.color = this.backgroundColor; + + setInterval(this.save, 1000 * 60 * 60 * 5); // every 5 minutes }; IDE_Morph.prototype.openIn = function (world) { |
