Skip to content
Success

Changes

Summary

  1. evade odd version conflicts for batch build (e.g. "vsce package");
  2. more robust Uri comparison, notably on Windows;
  3. tuned;
  4. publish decorations like diagnostics; Markup.BAD is decoration, not error message;
  5. support for decorations;
  6. clarified signature;
  7. clarified versions;
  8. clarified LICENSE;
Changeset 65098:b47ba1778e44 by wenzelm:
evade odd version conflicts for batch build (e.g. "vsce package");
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
Changeset 65097:ed2e33653438 by wenzelm:
more robust Uri comparison, notably on Windows;
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
Changeset 65096:27d376c33c02 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 65095:eb21a4f70b0e by wenzelm:
publish decorations like diagnostics;<br>Markup.BAD is decoration, not error message;
The file was modified src/Tools/VSCode/extension/src/decorations.ts (diff)
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 65094:386d9d487f62 by wenzelm:
support for decorations;
The file was addedsrc/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
Changeset 65093:5f08197206ce by wenzelm:
clarified signature;
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 65092:7672b29e544e by wenzelm:
clarified versions;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 65091:f7aaf4ce55a9 by wenzelm:
clarified LICENSE;
The file was addedsrc/Tools/VSCode/LICENSE
The file was modified src/Tools/VSCode/extension/package.json (diff)