diff --git a/snap.html b/snap.html index 9a5bdf1b..34e27809 100755 --- a/snap.html +++ b/snap.html @@ -7,10 +7,10 @@ - + - + diff --git a/src/blocks.js b/src/blocks.js index 20928a20..01231de4 100644 --- a/src/blocks.js +++ b/src/blocks.js @@ -148,7 +148,7 @@ CustomCommandBlockMorph, SymbolMorph, ToggleButtonMorph, DialMorph*/ // Global stuff //////////////////////////////////////////////////////// -modules.blocks = '2020-May-25'; +modules.blocks = '2020-May-28'; var SyntaxElementMorph; var BlockMorph; @@ -2625,10 +2625,17 @@ BlockMorph.prototype.userMenu = function () { top; function addOption(label, toggle, test, onHint, offHint) { - var on = '\u2611 ', - off = '\u2610 '; menu.addItem( - (test ? on : off) + localize(label), + [ + test ? new SymbolMorph( + 'checkedBox', + MorphicPreferences.menuFontSize * 0.75 + ) : new SymbolMorph( + 'rectangle', + MorphicPreferences.menuFontSize * 0.75 + ), + localize(label) + ], toggle, test ? onHint : offHint );