From f29594112365737f1520b96f65427eefe893033e Mon Sep 17 00:00:00 2001 From: neryath Date: Tue, 29 Mar 2022 19:44:33 -0300 Subject: [PATCH] Removed unused functions Removed two unused functions listed as issues on codefactor.io --- Server/src/main/resources/static/js/editor.js | 20 ------------------- 1 file changed, 20 deletions(-) diff --git a/Server/src/main/resources/static/js/editor.js b/Server/src/main/resources/static/js/editor.js index d4f6d13..41326bb 100644 --- a/Server/src/main/resources/static/js/editor.js +++ b/Server/src/main/resources/static/js/editor.js @@ -423,26 +423,6 @@ function parse() { editor.getSession().setAnnotations(result.annotations); } -function tabWorldClick() { - document.getElementById("tab-world").classList.add("active"); - document.getElementById("tab-world-sm").classList.add("active"); - document.getElementById("tab-editor").classList.remove("active"); - document.getElementById("tab-editor-sm").classList.remove("active"); - - document.getElementById("world-tab").setAttribute("style", ""); - document.getElementById("editor-tab").setAttribute("style", "display: none"); -} - -function tabEditorClick() { - document.getElementById("tab-world").classList.remove("active"); - document.getElementById("tab-world-sm").classList.remove("active"); - document.getElementById("tab-editor").classList.add("active"); - document.getElementById("tab-editor-sm").classList.add("active"); - - document.getElementById("world-tab").setAttribute("style", "display: none"); - document.getElementById("editor-tab").setAttribute("style", ""); -} - //----- //Check if browser supports local storage if not than bad luck, use something else than IE7