fixed rearranging sound icons in the jukebox

upd4.2
jmoenig 2018-04-25 12:19:13 +02:00
rodzic 3abc58bd6e
commit c84e2bd777
2 zmienionych plików z 6 dodań i 2 usunięć

4
gui.js
Wyświetl plik

@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/
// Global stuff ////////////////////////////////////////////////////////
modules.gui = '2018-March-19';
modules.gui = '2018-April-25';
// Declarations
@ -8393,7 +8393,7 @@ SoundIconMorph.prototype.renameSound = function () {
SoundIconMorph.prototype.removeSound = function () {
var jukebox = this.parentThatIsA(JukeboxMorph),
idx = this.parent.children.indexOf(this + 1);
idx = this.parent.children.indexOf(this) - 1;
jukebox.removeSound(idx);
};

Wyświetl plik

@ -4086,3 +4086,7 @@ in development:
180424
------
* added 'name' selector to pixel library
180425
------
* GUI: fixed rearranging sound icons in the jukebox