Summary
- avoid spurious output after exit;
- updated package version;
- proper state_panel exit;
The file was modified | src/Tools/VSCode/src/state_panel.scala (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/extension/src/extension.ts (diff) |
The file was modified | src/Tools/VSCode/extension/src/state_panel.ts (diff) |