kopia lustrzana https://github.com/backface/turtlestitch
used new symbols for block-context-menu options
rodzic
78f78b2647
commit
74a257fd72
|
@ -7,10 +7,10 @@
|
||||||
<script type="text/javascript" src="src/morphic.js?version=2020-05-19"></script>
|
<script type="text/javascript" src="src/morphic.js?version=2020-05-19"></script>
|
||||||
<script type="text/javascript" src="src/symbols.js?version=2020-05-28"></script>
|
<script type="text/javascript" src="src/symbols.js?version=2020-05-28"></script>
|
||||||
<script type="text/javascript" src="src/widgets.js?version=2020-05-06"></script>
|
<script type="text/javascript" src="src/widgets.js?version=2020-05-06"></script>
|
||||||
<script type="text/javascript" src="src/blocks.js?version=2020-05-25"></script>
|
<script type="text/javascript" src="src/blocks.js?version=2020-05-28"></script>
|
||||||
<script type="text/javascript" src="src/threads.js?version=2020-05-27"></script>
|
<script type="text/javascript" src="src/threads.js?version=2020-05-27"></script>
|
||||||
<script type="text/javascript" src="src/objects.js?version=2020-05-18"></script>
|
<script type="text/javascript" src="src/objects.js?version=2020-05-18"></script>
|
||||||
<script type="text/javascript" src="src/gui.js?version=2020-05-27"></script>
|
<script type="text/javascript" src="src/gui.js?version=2020-05-28"></script>
|
||||||
<script type="text/javascript" src="src/paint.js?version=2020-05-17"></script>
|
<script type="text/javascript" src="src/paint.js?version=2020-05-17"></script>
|
||||||
<script type="text/javascript" src="src/lists.js?version=2020-05-18"></script>
|
<script type="text/javascript" src="src/lists.js?version=2020-05-18"></script>
|
||||||
<script type="text/javascript" src="src/byob.js?version=2020-05-27"></script>
|
<script type="text/javascript" src="src/byob.js?version=2020-05-27"></script>
|
||||||
|
|
|
@ -148,7 +148,7 @@ CustomCommandBlockMorph, SymbolMorph, ToggleButtonMorph, DialMorph*/
|
||||||
|
|
||||||
// Global stuff ////////////////////////////////////////////////////////
|
// Global stuff ////////////////////////////////////////////////////////
|
||||||
|
|
||||||
modules.blocks = '2020-May-25';
|
modules.blocks = '2020-May-28';
|
||||||
|
|
||||||
var SyntaxElementMorph;
|
var SyntaxElementMorph;
|
||||||
var BlockMorph;
|
var BlockMorph;
|
||||||
|
@ -2625,10 +2625,17 @@ BlockMorph.prototype.userMenu = function () {
|
||||||
top;
|
top;
|
||||||
|
|
||||||
function addOption(label, toggle, test, onHint, offHint) {
|
function addOption(label, toggle, test, onHint, offHint) {
|
||||||
var on = '\u2611 ',
|
|
||||||
off = '\u2610 ';
|
|
||||||
menu.addItem(
|
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,
|
toggle,
|
||||||
test ? onHint : offHint
|
test ? onHint : offHint
|
||||||
);
|
);
|
||||||
|
|
Ładowanie…
Reference in New Issue