Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. update preview after document change; clarified encode_name/decode_name; clarified other_column;
  3. proper HTML preview;
  4. clarified view column; tuned whitespace;
  5. basic setup for document preview;
Changeset 65962:d7bc93a467bd by wenzelm:
merged
Changeset 65961:7f87310d6c09 by wenzelm:
update preview after document change;<br>clarified encode_name/decode_name;<br>clarified other_column;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65960:38fbf13f7986 by wenzelm:
proper HTML preview;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65959:47309113ee4d by wenzelm:
clarified view column;<br>tuned whitespace;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 65958:6338355b2a88 by wenzelm:
basic setup for document preview;
The file was addedsrc/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)