tweaked world-map extension primitives

HISTORY.md

@@ -2,6 +2,9 @@
 
 ## in development:
 
+### 2021-06-15
+* extensions: tweaked world-map primitives
+
 ### 2021-06-14
 * new dev version
 * threads, blocks, objects, extensions: new safe extensions mechanism

snap.html

@@ -19,7 +19,7 @@
         <script src="src/sketch.js?version=2020-07-13"></script>
         <script src="src/video.js?version=2019-06-27"></script>
         <script src="src/maps.js?version=2020-03-25"></script>
-        <script src="src/extensions.js?version=2021-06-14"></script>
+        <script src="src/extensions.js?version=2021-06-15"></script>
         <script src="src/xml.js?version=2020-04-27"></script>
         <script src="src/store.js?version=2021-06-10"></script>
         <script src="src/locale.js?version=2021-06-11"></script>

src/extensions.js

@@ -29,7 +29,7 @@
 
 /*global modules, List, StageMorph, Costume*/
 
-modules.extensions = '2021-June-14';
+modules.extensions = '2021-June-15';
 
 // Global stuff
 
@@ -230,7 +230,7 @@ SnapExtensions.set(
 );
 
 SnapExtensions.set(
-    'map_style',
+    'map_style(name)',
     function (name) {
         this.parentThatIsA(StageMorph).worldMap.setHost(name);
     }