MediaWiki:Common.js: Unterschied zwischen den Versionen

MediaWiki:Common.js (Quelltext anzeigen)

300 Bytes entfernt , 5. Mai 2021

fix #36

1.217

Bearbeitungen

@@ Zeile 158: / Zeile 158: @@
   */
 $(document).ready(function() {
-	console.log("document ready!");
-	console.dir("tabs-label:", $('.tabs-label'));
 	$('.tabs-label').click(function(e) {
-		console.log("[mapResize] click tabs-label");
 		var mapExists = setInterval(function() {
 			var counter = 0;
-			console.log("[mapResize] couter:", counter);
 			var mapsLeafletList = window.mapsLeafletList;
 			if (mapsLeafletList && mapsLeafletList.length) {
 				mapsLeafletList.forEach(function(l) {
 					if (l.map) {
-						console.log("[mapResize] invalidateSize");
 						l.map.invalidateSize(false);
 						clearInterval(mapExists);
@@ Zeile 175: / Zeile 170: @@
 				});
 			}
-			if (counter++ > 10) {
+			if (counter++ > 10) clearInterval(mapExists);
-				console.warn("[mapResize] watchdog exit, couter:", counter);
-				clearInterval(mapExists);
-			}
 		}, 100);
 	});
 });