Summary
- merged
- update preview after document change; clarified encode_name/decode_name; clarified other_column;
- proper HTML preview;
- clarified view column; tuned whitespace;
- basic setup for document preview;
The file was modified | src/Tools/VSCode/extension/src/preview.ts (diff) |
The file was modified | src/Tools/VSCode/extension/src/preview.ts (diff) |
The file was modified | src/Tools/VSCode/extension/src/preview.ts (diff) |
The file was added | src/Tools/VSCode/extension/src/preview.ts |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/extension/src/extension.ts (diff) |