# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1645608199 -3600
# Node ID 6df13a4ce25979e7fe08531fd179aadd0a73aceb
# Parent  e349c2da30d2a74ebb962a45bedca655ee381970
added Isabelle output panel to VSCode extension;

diff -r e349c2da30d2 -r 6df13a4ce259 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Wed Feb 23 16:28:37 2022 +0000
+++ b/src/Tools/VSCode/extension/package.json	Wed Feb 23 10:23:19 2022 +0100
@@ -34,6 +34,24 @@
     ],
     "main": "./out/src/extension",
     "contributes": {
+        "viewsContainers": {
+            "panel": [
+                {
+                    "id": "isabelle",
+                    "title": "Isabelle",
+                    "icon": "isabelle.png"
+                }
+            ]
+        },
+        "views": {
+            "isabelle": [
+                {
+                    "type": "webview",
+                    "id": "isabelle-output",
+                    "name": "Output"
+                }
+            ]
+        },
         "commands": [
             {
                 "command": "isabelle.state",