summaryrefslogtreecommitdiff
path: root/gui.js
diff options
context:
space:
mode:
Diffstat (limited to 'gui.js')
-rw-r--r--gui.js6
1 files changed, 3 insertions, 3 deletions
diff --git a/gui.js b/gui.js
index 1d3c134..ffb414d 100644
--- a/gui.js
+++ b/gui.js
@@ -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',