add "ringify" to every "unringify" menu option

pull/3/merge
jmoenig 2014-07-06 19:07:30 +02:00
rodzic 90b30ceed5
commit 17ea18f057
2 zmienionych plików z 6 dodań i 1 usunięć

Wyświetl plik

@ -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

Wyświetl plik

@ -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”