diff --git a/gui.js b/gui.js
index d2fc9cb2..97ffbde2 100644
--- a/gui.js
+++ b/gui.js
@@ -2559,9 +2559,7 @@ IDE_Morph.prototype.projectMenu = function () {
         'Import tools',
         function () {
             myself.droppedText(
-                myself.getURLsbeOrRelative(
-                    'tools.xml'
-                ),
+                myself.getURL('tools.xml'),
                 'tools'
             );
         },
@@ -4483,22 +4481,6 @@ IDE_Morph.prototype.getURL = function (url) {
     }
 };
 
-IDE_Morph.prototype.getURLsbeOrRelative = function (url) {
-    var request = new XMLHttpRequest(),
-        myself = this;
-    try {
-        request.open('GET', baseURL + url, false);
-        request.send();
-        if (request.status === 200) {
-            return request.responseText;
-        }
-        return myself.getURL(url);
-    } catch (err) {
-        myself.showMessage(err);
-        return;
-    }
-};
-
 // IDE_Morph user dialog shortcuts
 
 IDE_Morph.prototype.showMessage = function (message, secs) {