src/Tools/VSCode/extension/src/decorations.ts
10 months ago wenzelm 2018-09-01 more explicit status for "canceled" command within theory node;
18 months ago wenzelm 2018-01-02 clarified terminology of "markdown_bullet";
2017-06-16 wenzelm 2017-06-16 tuned signature;
2017-05-30 wenzelm 2017-05-30 clarified event handling; tuned;
2017-05-30 wenzelm 2017-05-30 tuned;
2017-05-30 wenzelm 2017-05-30 tuned imports;
2017-05-30 wenzelm 2017-05-30 clarified modules;
2017-05-23 wenzelm 2017-05-23 support text overview colors via decorations;
2017-03-14 wenzelm 2017-03-14 always update decorations eventually after document changes: VSCode might reset it, but PIDE might produce an unchanged result that is not published again;
2017-03-12 wenzelm 2017-03-12 clarified modules;
2017-03-11 wenzelm 2017-03-11 proper Map operations; re-init decorations after configuration change;
2017-03-11 wenzelm 2017-03-11 tuned colors according to Light+ and Dark+ themes;
2017-03-11 wenzelm 2017-03-11 tuned signature;
2017-03-10 wenzelm 2017-03-10 suppress irrelevant markup for VSCode;
2017-03-10 wenzelm 2017-03-10 more compact protocol message;
2017-03-10 wenzelm 2017-03-10 prefer type equality;
2017-03-09 wenzelm 2017-03-09 prefer immutable bindings;
2017-03-08 wenzelm 2017-03-08 tuned;
2017-03-07 wenzelm 2017-03-07 decorations for text color;
2017-03-07 wenzelm 2017-03-07 decorations for spell-checker;
2017-03-07 wenzelm 2017-03-07 maintain decorations for document (model) and update it for each editor (view);
2017-03-06 wenzelm 2017-03-06 clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover); discontinued obsolete "hover_message" decoration;
2017-03-05 wenzelm 2017-03-05 decorations for dotted underline: less intrusive; tuned;
2017-03-04 wenzelm 2017-03-04 more general hover_message (see also JEdit_Rendering.tooltip_message);
2017-03-04 wenzelm 2017-03-04 decorations for background and foreground colors;
2017-03-03 wenzelm 2017-03-03 evade odd version conflicts for batch build (e.g. "vsce package");
2017-03-03 wenzelm 2017-03-03 more robust Uri comparison, notably on Windows;
2017-03-03 wenzelm 2017-03-03 publish decorations like diagnostics; Markup.BAD is decoration, not error message;
2017-03-03 wenzelm 2017-03-03 support for decorations;