pull/3/merge
jmoenig 2015-01-13 08:37:33 +01:00
rodzic 14821611fa
commit 4a3cf0aa3b
2 zmienionych plików z 15 dodań i 1 usunięć

11
gui.js
Wyświetl plik

@ -69,7 +69,7 @@ SpeechBubbleMorph*/
// Global stuff ////////////////////////////////////////////////////////
modules.gui = '2015-January-12';
modules.gui = '2015-January-13';
// Declarations
@ -3343,6 +3343,15 @@ IDE_Morph.prototype.toggleAppMode = function (appMode) {
}).forEach(function (s) {
s.adjustScrollBars();
});
// prevent rotation and draggability controls from
// showing for the stage
if (this.currentSprite === this.stage) {
this.spriteBar.children.forEach(function (child) {
if (child instanceof PushButtonMorph) {
child.hide();
}
});
}
}
this.setExtent(this.world().extent()); // resume trackChanges
};

Wyświetl plik

@ -2413,3 +2413,8 @@ ______
* Objects: Disable clones from being edited via their context menus or double-click
* Italian translation update, thanks, Alberto Firpo!
* GUI: add additional yields to nextSteps() (work around a bug in Chrome)
150113
------
* BYOB: fixed #702
* GUI: fixed #680