Remove debugging code from main.js

1b005010 · Stekelenburg, A.V. (Alexander, Student ) · db3e9f1b · 1b005010
Commit 1b005010 authored 3 years ago by Stekelenburg, A.V. (Alexander, Student )
--- a/media/main.js
+++ b/media/main.js
@@ -280,7 +280,6 @@

        vscode.setState({ tools: oldState.tools, documentVars: oldState.documentVars, parameters: parameters, currentUri: oldState.currentUri, currentTool: oldState.currentTool });
    }
-    vscode.setState({ tools: [], documentVars: [], parameters: [], currentUri: "", currentTool: "" });
    const oldState = vscode.getState() || { tools: [], documentVars: [], parameters: [], currentUri: "", currentTool: "" };

    const tools = oldState.tools;