MediaWiki:Common.js: Unterschied zwischen den Versionen

MediaWiki:Common.js (Quelltext anzeigen)

45 Bytes entfernt , 14. September 2017

K

keine Bearbeitungszusammenfassung

1.217

Bearbeitungen

@@ Zeile 157: / Zeile 157: @@
 $('.tabs-label').click(function(e) {
    setTimeout(function() {
-     window.maps.leafletList.forEach(function(map) {
+     window.maps.leafletList.forEach(function(l) {
-       console.log("invalidateSize of ", map);
+       l.map.invalidateSize(false);
-      map.invalidateSize(true);
      });
-   }, 500);
+   }, 100);
 });