From 116933ddab41594d3550fb895c8d425c50a25151 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Fri, 20 Feb 2015 12:49:18 +0100
Subject: [PATCH] =?UTF-8?q?Un-hide=20=E2=80=9CSave=20to=20disk=E2=80=9D=20?=
 =?UTF-8?q?feature?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

(currently supported by both Chrome and Firefox, but not by Safari)
---
 gui.js | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/gui.js b/gui.js
index b30b6deb..5f7f3abd 100644
--- a/gui.js
+++ b/gui.js
@@ -69,7 +69,7 @@ SpeechBubbleMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2015-February-06';
+modules.gui = '2015-February-20';
 
 // Declarations
 
@@ -2349,14 +2349,11 @@ IDE_Morph.prototype.projectMenu = function () {
     menu.addItem('New', 'createNewProject');
     menu.addItem('Open...', 'openProjectsBrowser');
     menu.addItem('Save', "save");
-    if (shiftClicked) {
-        menu.addItem(
-            'Save to disk',
-            'saveProjectToDisk',
-            'experimental - store this project\nin your downloads folder',
-            new Color(100, 0, 0)
-        );
-    }
+    menu.addItem(
+        'Save to disk',
+        'saveProjectToDisk',
+        'store this project\nin your downloads folder\n(not supported by all browsers)'
+    );
     menu.addItem('Save As...', 'saveProjectsBrowser');
     menu.addLine();
     menu.addItem(