convert all indents to tabs

2026-06-30 20:45:33 +02:00
parent 6adefe7210
commit 3b71a72636
30 changed files with 1473 additions and 1477 deletions
@@ -6,28 +6,28 @@ let loadingImg = undefined


 function clearLoadingScreenClutter() {
-  document.getElementById("fakeLoadingToggle").remove()
-  loadingImg = document.getElementById("loadingImg")
+	document.getElementById("fakeLoadingToggle").remove()
+	loadingImg = document.getElementById("loadingImg")
 }


 function periodicallyChangeTips() {
-  newTip()
-  setLoadingProgress("")
+	newTip()
+	setLoadingProgress("")
 }


 function changeLoadingImgSize() {
-  loadingImg.style.width  = `calc(${32 * byteDiceSize}px * var(--pxDensity))`
-  loadingImg.style.height = `calc(${32 * byteDiceSize}px * var(--pxDensity))`
+	loadingImg.style.width  = `calc(${32 * byteDiceSize}px * var(--pxDensity))`
+	loadingImg.style.height = `calc(${32 * byteDiceSize}px * var(--pxDensity))`
 }


 window.onkeydown = function(e) { // keycodes 48..57 = 0-9
-  let code = e.keyCode
+	let code = e.keyCode

-  if (!(code >= 48 && code <= 57)) { return }
+	if (!(code >= 48 && code <= 57)) { return }

-  byteDiceSize = (code - 48) / 9 + 1
-  changeLoadingImgSize()
+	byteDiceSize = (code - 48) / 9 + 1
+	changeLoadingImgSize()
 }