Summary
- tuned colors;
- apply multiple edits bottom-to-top as specified in the protocol definition (assuming canonical order);
- tuned colors;
- proper Map operations; re-init decorations after configuration change;
- tuned colors according to Light+ and Dark+ themes;
- tuned signature;
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/src/server.scala (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/extension/src/decorations.ts (diff) |
The file was modified | src/Tools/VSCode/extension/src/extension.ts (diff) |
The file was modified | src/Tools/VSCode/extension/package.json (diff) |
The file was modified | src/Tools/VSCode/extension/src/decorations.ts (diff) |
The file was modified | src/Tools/VSCode/extension/src/decorations.ts (diff) |
The file was modified | src/Tools/VSCode/extension/src/extension.ts (diff) |