NagVis · vpithart · May 22, 2020 · May 22, 2020 · May 22, 2020 · May 25, 2020
diff --git a/ChangeLog b/ChangeLog
@@ -1,4 +1,6 @@
 1.9.21
+Worldmap:
+  * improved rendering performance
 Frontend:
   * FIX: Fix random error "NotFoundError: Node.removeChild"
 

diff --git a/install_lib b/install_lib
@@ -13,11 +13,11 @@ cmp() {
         sub(/\/\*[^@]*\*\//,"");
         # Remove // comments (line beginning)
         sub(/^\/\/.*/,"");
-        
+
         # Count braces
         anz1 = gsub(/\{/,"{");
         anz2 = gsub(/}/,"}");
-        
+
         if (OK == 1) {
             braces += anz1;
             braces -= anz2;
@@ -50,7 +50,7 @@ cmp() {
                 #   }
                 #}
                 #line = line $0;
-                
+
                 print line;
             }
         }
@@ -63,7 +63,6 @@ cmp_js() {
     OUT=NagVisCompressed.js
     >$OUT
     cmp ExtStacktrace.js
-    cmp ExtLeaflet.js
     cmp nagvis.js
     cmp edit.js
     cmp popupWindow.js

diff --git a/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/layers-2x.png b/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/layers-2x.png
diff --git a/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/layers.png b/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/layers.png
diff --git a/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/marker-icon-2x.png b/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/marker-icon-2x.png
diff --git a/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/marker-icon.png b/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/marker-icon.png
diff --git a/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/marker-shadow.png b/share/frontend/nagvis-js/ext/leaflet-1.6.0/images/marker-shadow.png