From 66f94a7cef1dc132b2db38ea8fcb6d66eb96fc8d Mon Sep 17 00:00:00 2001 From: Gubolin Date: Sat, 2 Aug 2014 11:45:33 +0200 Subject: save GitHub project in one file (now media loads properly); make it easier to open projects by other users --- gui.js | 29 ++++++++++++++--------------- 1 file changed, 14 insertions(+), 15 deletions(-) (limited to 'gui.js') diff --git a/gui.js b/gui.js index 85b46a3..21ea4d9 100644 --- a/gui.js +++ b/gui.js @@ -401,20 +401,14 @@ IDE_Morph.prototype.openIn = function (world) { GitHub.getProject( dict.Username, dict.projectName, - function (projectData) { + function (code) { var msg; myself.nextSteps([ function () { msg = myself.showMessage('Opening GitHub project...'); }, function () { - if (projectData.indexOf('