From e897915bc79a6fc9fe17fb12e29b992d359913de Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Tue, 19 Mar 2013 12:39:37 +0100
Subject: GUI: fix for #run: URL switch

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

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index ae26750..8ac59e9 100644
--- a/gui.js
+++ b/gui.js
@@ -232,10 +232,10 @@ IDE_Morph.prototype.openIn = function (world) {
             hash = decodeURIComponent(hash);
         }
         if (hash.substr(0, 8) === '<project>') {
-            this.openProjectString(hash);
+            this.rawOpenProjectString(hash);
         } else {
-//            this.openProjectString(getURL(hash));
-            this.droppedText(getURL(hash));
+            this.rawOpenProjectString(getURL(hash));
+//            this.droppedText(getURL(hash));
         }
         this.toggleAppMode(true);
         this.runScripts();
-- 
cgit v1.3.1