Merge branch 'development' into gh-pages

1 files changed, 2 insertions, 0 deletions

diff --git a/gui.js b/gui.js
index d152d71..b60f5e6 100644
--- a/gui.js
+++ b/gui.js
@@ -231,6 +231,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) {