Add clear tool problems button

b114b525 · Stekelenburg, A.V. (Alexander, Student ) · 07236119 · b114b525 · b114b525 · b114b525
Commit b114b525 authored 3 years ago by Stekelenburg, A.V. (Alexander, Student )
--- a/media/main.css
+++ b/media/main.css
@@ -173,3 +173,10 @@ h3 {
 ul.option-list li div.value button.revert.hidden {
 	display: none;
 }
+
+#clear-tool-problems {
+	position: absolute;
+    right: var(--container-paddding);
+    top: 0.5em;
+	cursor: pointer;
+}
--- a/media/main.js
+++ b/media/main.js
@@ -11,6 +11,11 @@
        addCollapseBehaviour(element);
    }

+    const clearProblems = document.getElementById("clear-tool-problems");
+    clearProblems.addEventListener("click", _ => {
+        vscode.postMessage({type: "clearToolProblems"});
+    });
+
    /**
     * @type {function()[]}
     */

--- a/src/sidebar.ts
+++ b/src/sidebar.ts
@@ -221,6 +221,10 @@ export class ModestSidebarProvider implements vscode.WebviewViewProvider {
                    runTool(data.uri, data.toolName, data.constants, data.distributions, data.parameters);
                    break;
                }
+                case "clearToolProblems": {
+                    client?.sendRequest("modest/clearToolProblems");
+                    break;
+                }
            }
        }, disposalQueue);
    }
@@ -264,6 +268,7 @@ export class ModestSidebarProvider implements vscode.WebviewViewProvider {
            <title>Modest run dialog</title>
        </head>
        <body>
+            <i id="clear-tool-problems" class="codicon codicon-clear-all" title="Clear tool problems"></i>
            <h3 title="Select tool">Select tool</h3>
            <div id="run-box">
                <select class="tools-dropdown" id="tools"> </select>