renamed IDE setting to "JavaScript extensions"

HISTORY.md

@@ -16,6 +16,7 @@
 ### 2021-06-10
 * threads: error messages in presentation mode are now shown as pop-up messages onstage  
 * store: commented out modal prompt to enable JS when loading a project that uses it
+* gui: renamed setting to "JavaScript extensions"
 
 ### 2021-06-09
 * new dev version

snap.html

@@ -11,7 +11,7 @@
         <script src="src/blocks.js?version=2021-06-09"></script>
         <script src="src/threads.js?version=2021-06-10"></script>
         <script src="src/objects.js?version=2021-06-09"></script>
-        <script src="src/gui.js?version=2021-06-09"></script>
+        <script src="src/gui.js?version=2021-06-10"></script>
         <script src="src/paint.js?version=2020-05-17"></script>
         <script src="src/lists.js?version=2021-03-15"></script>
         <script src="src/byob.js?version=2021-06-09"></script>

src/gui.js

@@ -78,7 +78,7 @@ Animation, BoxMorph, BlockEditorMorph, BlockDialogMorph, Note, ZERO, BLACK*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2021-June-09';
+modules.gui = '2021-June-10';
 
 // Declarations
 
@@ -3495,7 +3495,7 @@ IDE_Morph.prototype.settingsMenu = function () {
     );
     menu.addLine();
     addPreference(
-        'JavaScript',
+        'JavaScript extensions',
         () => {
             /*
             if (!Process.prototype.enableJS) {