stop microphone output when the user presses the stop button

HISTORY.md

@@ -64,6 +64,7 @@
 * Objects: tweaked oscillator fade-out
 * Blocks, Threads: added "sample rate" selector to microphone drow-down
 * updated German translation for "sample rate"
+* Objects: stop microphone output when the user presses the stop button
 
 ### 2019-04-04
 * Objects, Threads: new "play frequency" commands in the Sounds category

src/objects.js

@@ -8120,6 +8120,9 @@ StageMorph.prototype.stopAllActiveSounds = function () {
         audio.pause();
     });
     this.activeSounds = [];
+    if (this.microphone.modifier && this.microphone.isReady) {
+        this.microphone.stop();
+    }
 };
 
 StageMorph.prototype.pauseAllActiveSounds = function () {