add "ringify" to every "unringify" menu option

2 files changed, 6 insertions, 1 deletions

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
diff --git a/history.txt b/history.txt
index 170fa29..8a519e9 100755
--- a/history.txt
+++ b/history.txt
@@ -2171,3 +2171,7 @@ ______
 ------
 * Morphic: Inspector enhancements (dynamic property update, keyboard shortcuts)
 * GUI: update visibility of share/unshare buttons, Thanks, Kunal!
+
+* 140706
+--------
+* Blocks: add “ringify” to every context menu that already has “unringify”