From 3f2d737bfcb01c9eda885e9d78ac038e37facd4d Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Tue, 21 Jul 2020 08:39:42 +0200
Subject: [PATCH] commented out stuff under construction

---
 src/gui.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/gui.js b/src/gui.js
index c3cf04d1..920c5dbf 100644
--- a/src/gui.js
+++ b/src/gui.js
@@ -3124,7 +3124,7 @@ IDE_Morph.prototype.settingsMenu = function () {
                 'before it picks up an object',
             new Color(100, 0, 0)
         );
-//        /*
+        /*
         menu.addItem(
             "Block alpha...",
             () => {
@@ -3149,7 +3149,7 @@ IDE_Morph.prototype.settingsMenu = function () {
             'set the blocks\'\nalpha value',
             new Color(100, 0, 0)
         );
-//        */
+        */
     }
     menu.addItem(
         'Microphone resolution...',