From 855d12a18c67612848af8ccf8012163769720eb1 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Tue, 9 Apr 2013 09:52:24 +0200
Subject: "Fixed #3" Follow-up

---
 gui.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index 07d4f07..1eab70b 100644
--- a/gui.js
+++ b/gui.js
@@ -68,7 +68,7 @@ sb, CommentMorph, CommandBlockMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2013-April-08';
+modules.gui = '2013-April-09';
 
 // Declarations
 
@@ -142,6 +142,8 @@ IDE_Morph.prototype.init = function (isAutoFill) {
     this.isAnimating = true;
     this.stageRatio = 1; // for IDE animations, e.g. when zooming
 
+    this.loadNewProject = false; // flag when starting up translated
+
     // initialize inherited properties:
     IDE_Morph.uber.init.call(this);
 
@@ -2806,7 +2808,7 @@ IDE_Morph.prototype.reflectLanguage = function (lang) {
     this.createCategories();
     this.createCorralBar();
     this.fixLayout();
-    if (this.loadNewProject){
+    if (this.loadNewProject) {
         this.newProject();
     } else {
         this.openProjectString(projectData);
-- 
cgit v1.3.1