src/Tools/VSCode/src/vscode_rendering.scala
6 months ago Thomas Lindae lsp: added additional commit characters to immediate completions;
6 months ago Thomas Lindae lsp: improved completions;
6 months ago Thomas Lindae lsp: tuned;
6 months ago Thomas Lindae lsp: created distinction for unicode symbols setting between output and edits and clarified output text functions;
9 months ago Thomas Lindae lsp: partially revert c0388fbd8096 to get decorations for all keywords;
2023-01-20 wenzelm dismantle special treatment of citations in Isabelle/Scala;
2022-12-27 wenzelm clarified modules: avoid duplication;
2022-12-26 wenzelm tuned signature;
2022-12-26 wenzelm clarified signature: more explicit types;
2022-12-23 wenzelm more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
2022-08-19 wenzelm clarified signature: support for adhoc file types;
2022-04-08 wenzelm tuned -- avoid warnings for scala3;
2022-04-01 wenzelm clarified formatting, for the sake of scala3;
2022-03-11 wenzelm clarified signature: more uniform ts vs. Scala;
2022-02-22 wenzelm various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
2021-03-04 wenzelm tuned --- fewer warnings;
2020-12-13 wenzelm clarified signature: more explicit types;
2020-12-09 wenzelm clarified signature;
2020-11-28 wenzelm avoid conflicting base names;
2020-04-21 wenzelm clarified imports;
2019-06-01 wenzelm tuned imports -- accommodate scala-2.13.0-RC3;
2019-03-11 wenzelm tuned signature;
2018-11-07 wenzelm more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);
2018-03-11 wenzelm more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
2017-11-04 wenzelm tuned signature;
2017-06-30 wenzelm retain symlinks in file names from VSCode: relevant for proper file locations in decorations etc.;
2017-06-30 wenzelm clarified platform file operations;
2017-06-21 wenzelm more completion;
2017-06-21 wenzelm tuned signature;
2017-06-21 wenzelm more completion;
2017-06-21 wenzelm tuned signature;
2017-06-21 wenzelm tuned signature;
2017-06-21 wenzelm tuned signature;
2017-06-20 wenzelm tuned signature;
2017-06-20 wenzelm proper treatment of empty result;
2017-06-20 wenzelm clarified modules;
2017-06-20 wenzelm tuned signature;
2017-06-20 wenzelm provide spell-checker menu via completion commands;
2017-06-19 wenzelm added spell-checker completion;
2017-06-19 wenzelm tuned signature;
2017-06-19 wenzelm clarified signature;
2017-06-09 wenzelm tuned;
2017-06-09 wenzelm tuned;
2017-06-09 wenzelm more uniform syntax_completion + semantic_completion;
2017-05-25 wenzelm parallel retrieval of PIDE markup;
2017-05-23 wenzelm support text overview colors via decorations;
2017-04-17 wenzelm tuned signature;
2017-04-17 wenzelm tuned signature;
2017-03-13 wenzelm proper local debugger state, depending on session;
2017-03-12 wenzelm discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
2017-03-10 wenzelm suppress irrelevant markup for VSCode;
2017-03-10 wenzelm avoid extra decorations for regular command keywords;
2017-03-10 wenzelm more compact protocol message;
2017-03-07 wenzelm decorations for text color;
2017-03-07 wenzelm tuned;
2017-03-07 wenzelm decorations for spell-checker;
2017-03-07 wenzelm tuned signature;
2017-03-07 wenzelm clarified options;
2017-03-06 wenzelm clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover);
2017-03-05 wenzelm decorations for dotted underline: less intrusive;
less more (0) -60 tip