Oberflächenadministratoren, SMW-Administratoren, SMW-Kuratoren, SMW-Editoren, Oversighter, Administratoren, Widget-Bearbeiter
1.217
Bearbeitungen
MediaWiki:Common.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
MediaWiki:Common.js (Quelltext anzeigen)
Version vom 14. September 2017, 10:41 Uhr
, 14. September 2017keine Bearbeitungszusammenfassung
KKeine Bearbeitungszusammenfassung |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 158: | Zeile 158: | ||
setTimeout(function() { | setTimeout(function() { | ||
window.maps.leafletList.forEach(function(map) { | window.maps.leafletList.forEach(function(map) { | ||
console.log("invalidateSize of ", map); | |||
map.invalidateSize(true); | map.invalidateSize(true); | ||
}); | }); | ||
}, 500); | }, 500); | ||
}); | }); | ||