Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more configuration;
  2. automatically build session image;
  3. tuned signature;
  4. just one synchronized access to global state: works recursively on JVM; tuned;
  5. clarified modules;
  6. clarified file URI operations;
Changeset 64734:12558536d977 by wenzelm:
more configuration;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
Changeset 64733:20174e871623 by wenzelm:
automatically build session image;
The file was modified src/Tools/VSCode/README.md (diff)
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 64732:00f3c4bef2e0 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 64731:84192ecae582 by wenzelm:
just one synchronized access to global state: works recursively on JVM;<br>tuned;
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 64730:76996d915894 by wenzelm:
clarified modules;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
Changeset 64729:4eccd9bc5fd9 by wenzelm:
clarified file URI operations;
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)