Update editTools.js

This commit is contained in:
GGod 2023-08-29 02:05:27 +02:00
parent dae1e6532d
commit 1a63fa81fe
1 changed files with 0 additions and 12 deletions

View File

@ -16,18 +16,6 @@ settingsTab.registerSettings("Selection settings", transparentSelection);
settingsManager.registerTab(settingsTab);
runAfterLoadList.push(() => {
// the game doesn't load without the setTimeout
setTimeout(() => {
// well apparently the game crashes anyway
try {
document.getElementById("elementButton-select").style.backgroundColor = "transparent";
document.getElementById("elementButton-select").style.border = "2px dashed rgba(255, 255, 255, 0.75)";
document.getElementById("elementButton-select").classList = ["elementButton"];
} catch (_) {}
}, 1)
})
// current selection
let selection_ = {
start: {},