diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -1396,10 +1396,6 @@ IDE_Morph.prototype.fixLayout = function (situation) { this.palette.setHeight(this.bottom() - this.palette.top()); if (situation !== 'refreshPalette') { - // palette - this.palette.scrollX(padding); - this.palette.scrollY(padding); - // stage if (this.isAppMode) { this.stage.setScale(Math.floor(Math.min( |
