diff --git a/HISTORY.md b/HISTORY.md index 8b9734b6..c27e3a24 100755 --- a/HISTORY.md +++ b/HISTORY.md @@ -44,6 +44,7 @@ ### 2019-02-26 * Symbols: new "globe" symbol +* GUI: replaced "storage" icon in project dialog with "globe" symbol ### 2019-02-26 * GUI: made "inheritance support" setting hidden diff --git a/snap.html b/snap.html index cf0ad6da..6e27dddd 100755 --- a/snap.html +++ b/snap.html @@ -9,7 +9,7 @@ - + diff --git a/src/gui.js b/src/gui.js index 085307be..69bc31dd 100644 --- a/src/gui.js +++ b/src/gui.js @@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/ // Global stuff //////////////////////////////////////////////////////// -modules.gui = '2019-February-26'; +modules.gui = '2019-February-27'; // Declarations @@ -6063,7 +6063,7 @@ ProjectDialogMorph.prototype.buildContents = function () { } this.addSourceButton('cloud', localize('Cloud'), 'cloud'); - this.addSourceButton('local', localize('Browser'), 'storage'); + this.addSourceButton('local', localize('Browser'), 'globe'); if (this.task === 'open') { this.buildFilterField(); this.addSourceButton('examples', localize('Examples'), 'poster');