enable Safari to close the sound recorder dialog

pull/95/head
jmoenig 2020-05-26 16:15:53 +02:00
rodzic b683d1e189
commit c6f6e37100
2 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -10,7 +10,7 @@
<script type="text/javascript" src="src/blocks.js?version=2020-05-25"></script> <script type="text/javascript" src="src/blocks.js?version=2020-05-25"></script>
<script type="text/javascript" src="src/threads.js?version=2020-05-24"></script> <script type="text/javascript" src="src/threads.js?version=2020-05-24"></script>
<script type="text/javascript" src="src/objects.js?version=2020-05-18"></script> <script type="text/javascript" src="src/objects.js?version=2020-05-18"></script>
<script type="text/javascript" src="src/gui.js?version=2020-05-22"></script> <script type="text/javascript" src="src/gui.js?version=2020-05-26"></script>
<script type="text/javascript" src="src/paint.js?version=2020-05-17"></script> <script type="text/javascript" src="src/paint.js?version=2020-05-17"></script>
<script type="text/javascript" src="src/lists.js?version=2020-05-18"></script> <script type="text/javascript" src="src/lists.js?version=2020-05-18"></script>
<script type="text/javascript" src="src/byob.js?version=2020-05-17"></script> <script type="text/javascript" src="src/byob.js?version=2020-05-17"></script>

Wyświetl plik

@ -78,7 +78,7 @@ Animation, BoxMorph, BlockEditorMorph, BlockDialogMorph, Note*/
// Global stuff //////////////////////////////////////////////////////// // Global stuff ////////////////////////////////////////////////////////
modules.gui = '2020-May-22'; modules.gui = '2020-May-26';
// Declarations // Declarations
@ -9950,7 +9950,7 @@ SoundRecorderDialogMorph.prototype.ok = function () {
SoundRecorderDialogMorph.prototype.destroy = function () { SoundRecorderDialogMorph.prototype.destroy = function () {
this.stop(); this.stop();
this.audioElement.remove(); this.audioElement.remove();
if (this.mediaRecorder) { if (this.mediaRecorder && this.mediaRecorder.stream) {
this.mediaRecorder.stream.getTracks()[0].stop(); this.mediaRecorder.stream.getTracks()[0].stop();
} }
SoundRecorderDialogMorph.uber.destroy.call(this); SoundRecorderDialogMorph.uber.destroy.call(this);