From 7e42e8f78598b660eae44062b02aa40cbffd0c50 Mon Sep 17 00:00:00 2001 From: Michael Ball Date: Tue, 15 Dec 2015 03:41:49 -0800 Subject: [PATCH] fix a minor spacing issue --- gui.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui.js b/gui.js index 1246cd41..cebd2a7d 100644 --- a/gui.js +++ b/gui.js @@ -2592,7 +2592,7 @@ IDE_Morph.prototype.projectMenu = function () { 'Export summary with drop-shadows...', function () {myself.exportProjectSummary(true); }, 'open a new browser browser window' + - '\n with a summary of this project' + + '\nwith a summary of this project' + '\nwith drop-shadows on all pictures.' + '\nnot supported by all browsers', new Color(100, 0, 0)