From 0c8baa9f7fef29948a048fe6e0c72a77f295adf8 Mon Sep 17 00:00:00 2001 From: jmoenig Date: Fri, 21 May 2021 17:03:45 +0200 Subject: [PATCH] corrected a typo-glitch --- src/gui.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gui.js b/src/gui.js index 76986d40..c5bcfdd0 100644 --- a/src/gui.js +++ b/src/gui.js @@ -4020,7 +4020,7 @@ IDE_Morph.prototype.projectMenu = function () { 'Export project...', () => { var pn = this.getProjectName(); - if (this.pn) { + if (pn) { this.exportProject(pn); } else { this.prompt(