let users turn off microphone manually in the settings menu (in the offline version)

HISTORY.md

@@ -53,6 +53,7 @@
 * removed "loudness / microphone" block from AudioComp lib (turned into primitive)
 * new "microphone" reporter in Sensing for getting volume, signals and frequencies
 * Objects: keep microphone always on when running Snap! locally
+* GUI: let users turn off microphone manually in the settings menu (in the offline version) 
 
 ### 2019-03-05
 * GUI: added "globe" icon to language menu item

snap.html

@@ -9,7 +9,7 @@
         <script type="text/javascript" src="src/blocks.js?version=2019-03-06"></script>
         <script type="text/javascript" src="src/threads.js?version=2019-03-06"></script>
         <script type="text/javascript" src="src/objects.js?version=2019-03-06"></script>
-        <script type="text/javascript" src="src/gui.js?version=2019-03-05"></script>
+        <script type="text/javascript" src="src/gui.js?version=2019-03-06"></script>
         <script type="text/javascript" src="src/paint.js?version=2019-02-22"></script>
         <script type="text/javascript" src="src/lists.js?version=2019-02-07"></script>
         <script type="text/javascript" src="src/byob.js?version=2019-02-15"></script>

src/gui.js

@@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2019-March-05';
+modules.gui = '2019-March-06';
 
 // Declarations
 
@@ -2773,6 +2773,12 @@ IDE_Morph.prototype.settingsMenu = function () {
             new Color(100, 0, 0)
         );
     }
+    if (stage.microphone.isReady) {
+        menu.addItem(
+            '\u2611 ' + localize('Microphone'),
+            function () {stage.microphone.stop(); }
+        );
+    }
     menu.addLine();
     /*
     addPreference(