Update blocks.js

jmoenig · Jul 14, 2023 · c39de11 · c39de11
1 parent 400db62
commit c39de11
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/blocks.js b/src/blocks.js
@@ -13697,7 +13697,6 @@ MultiArgMorph.prototype.fixArrowsLayout = function () {
             listSymbol.setCenter(arrows.center());
             listSymbol.setLeft(arrows.left());
             centerList = false;
-            // !!! in this case the list symbol must be left aligned, not centered !!!
         }
     } else if (this.is3ArgRingInHOF() && inpCount > 2) { // hide right arrow
         rightArrow.hide();