diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1725,7 +1725,7 @@ IDE_Morph.prototype.applySavedSettings = function () { // blocks zoom if (zoom) { - SyntaxElementMorph.prototype.setScale(zoom); + SyntaxElementMorph.prototype.setScale(Math.min(zoom, 12)); CommentMorph.prototype.refreshScale(); SpriteMorph.prototype.initBlocks(); } @@ -1857,7 +1857,7 @@ IDE_Morph.prototype.removeSprite = function (sprite) { IDE_Morph.prototype.userMenu = function () { var menu = new MenuMorph(this); - menu.addItem('help', 'nop'); + // menu.addItem('help', 'nop'); return menu; }; @@ -3493,7 +3493,7 @@ IDE_Morph.prototype.userSetBlocksScale = function () { new DialogBoxMorph( null, function (num) { - myself.setBlocksScale(num); + myself.setBlocksScale(Math.min(num, 12)); } ).withKey('zoomBlocks').prompt( 'Zoom blocks', |
