Summary
- more configuration;
- automatically build session image;
- tuned signature;
- just one synchronized access to global state: works recursively on JVM; tuned;
- clarified modules;
- clarified file URI operations;
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/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) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Tools/jEdit/src/jedit_sessions.scala (diff) |
The file was modified | src/Tools/VSCode/src/vscode_resources.scala (diff) |
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) |
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) |