changeset 75234 | 57de0062dc1c |
parent 75201 | 8f6b8a46f54c |
--- a/src/Tools/VSCode/extension/src/state_panel.ts Sun Mar 06 22:13:18 2022 +0100 +++ b/src/Tools/VSCode/extension/src/state_panel.ts Mon Mar 07 12:37:03 2022 +0100 @@ -1,3 +1,8 @@ +/* Author: Makarius + +State panel via HTML webview inside VSCode. +*/ + 'use strict'; import * as vscode_lib from './vscode_lib'