From 667193b9f02331b3372fefbb9fd4a424d5b86d7e Mon Sep 17 00:00:00 2001 From: jmoenig Date: Mon, 12 Jan 2015 13:05:14 +0100 Subject: Force Chrome to show GUI messages MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit add additional yields to nextSteps() to work around a bug recently introduced to Chrome (other browsers don’t need this kludge). Remember to take those yields out again when and if Chrome (ever) fixes this (which, for all I know, may be never) --- gui.js | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'gui.js') diff --git a/gui.js b/gui.js index d862463..521f27e 100644 --- a/gui.js +++ b/gui.js @@ -352,6 +352,7 @@ IDE_Morph.prototype.openIn = function (world) { function () { msg = myself.showMessage('Opening project...'); }, + function () {nop(); }, // yield (bug in Chrome) function () { if (projectData.indexOf('