Un-hide “Save to disk” feature

(currently supported by both Chrome and Firefox, but not by Safari)
pull/3/merge
jmoenig 2015-02-20 12:49:18 +01:00
rodzic f038309746
commit 116933ddab
1 zmienionych plików z 6 dodań i 9 usunięć

7
gui.js
Wyświetl plik

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