From 17ea18f05733d5f6962266316a6ffa8ca6b0808a Mon Sep 17 00:00:00 2001 From: jmoenig Date: Sun, 6 Jul 2014 19:07:30 +0200 Subject: add "ringify" to every "unringify" menu option --- blocks.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'blocks.js') diff --git a/blocks.js b/blocks.js index 159d1a2..68a5e70 100644 --- a/blocks.js +++ b/blocks.js @@ -155,7 +155,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph, Costume*/ // Global stuff //////////////////////////////////////////////////////// -modules.blocks = '2014-June-06'; +modules.blocks = '2014-July-06'; var SyntaxElementMorph; @@ -2110,6 +2110,7 @@ BlockMorph.prototype.userMenu = function () { if (this.parentThatIsA(RingMorph)) { menu.addLine(); menu.addItem("unringify", 'unringify'); + menu.addItem("ringify", 'ringify'); return menu; } if (this.parent instanceof ReporterSlotMorph -- cgit v1.3.1