src/Tools/VSCode/src/vscode_resources.scala
22 months ago wenzelm 2017-09-18 recode Unicode text on the spot, e.g. from copy-paste of output;
22 months ago wenzelm 2017-09-18 store document version;
2017-06-30 wenzelm 2017-06-30 retain symlinks in file names from VSCode: relevant for proper file locations in decorations etc.;
2017-06-30 wenzelm 2017-06-30 clarified platform file operations;
2017-06-26 wenzelm 2017-06-26 proper bootstrap_name (amending b42743f5b595);
2017-06-21 wenzelm 2017-06-21 tuned signature;
2017-06-21 wenzelm 2017-06-21 tuned signature;
2017-06-20 wenzelm 2017-06-20 added commands for spell-checker dictionary;
2017-06-17 wenzelm 2017-06-17 maintain overlays within main state of document models; proper pending_input for Isabelle/VSCode;
2017-06-16 wenzelm 2017-06-16 proper treatment of editor overlays;
2017-06-13 wenzelm 2017-06-13 clarified signature;
2017-05-30 wenzelm 2017-05-30 tuned signature;
2017-05-25 wenzelm 2017-05-25 restricted perspective depending on the caret -- important for reactivity when editing big files;
2017-04-21 wenzelm 2017-04-21 eliminated default_qualifier: just a constant;
2017-04-20 wenzelm 2017-04-20 tuned signature;
2017-04-17 wenzelm 2017-04-17 prefer formal name from session context, for proper qualified theory name;
2017-04-13 wenzelm 2017-04-13 tuned signature (again);
2017-04-12 wenzelm 2017-04-12 tuned;
2017-04-12 wenzelm 2017-04-12 clarified loaded_theories: map to qualified theory name; proper theory_name for PIDE editors;
2017-04-10 wenzelm 2017-04-10 clarified signature;
2017-04-08 wenzelm 2017-04-08 more session_base information in ML; tuned signature;
2017-04-03 wenzelm 2017-04-03 tuned signature;
2017-04-03 wenzelm 2017-04-03 provide session qualifier via resources;
2017-03-14 wenzelm 2017-03-14 avoid race condition between current_state().stable_tip_version and model.rendering();
2017-03-12 wenzelm 2017-03-12 clarified caret offset; show output at end of file;
2017-03-12 wenzelm 2017-03-12 tuned signature;
2017-03-12 wenzelm 2017-03-12 discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
2017-03-11 wenzelm 2017-03-11 dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
2017-03-11 wenzelm 2017-03-11 support for caret handling and dynamic output;
2017-03-09 wenzelm 2017-03-09 incremental document changes;
2017-03-07 wenzelm 2017-03-07 decorations for spell-checker;
2017-03-07 wenzelm 2017-03-07 clarified options;
2017-03-06 wenzelm 2017-03-06 tuned;
2017-03-05 wenzelm 2017-03-05 tuned signature;
2017-03-05 wenzelm 2017-03-05 tuned;
2017-03-05 wenzelm 2017-03-05 simplified;
2017-03-05 wenzelm 2017-03-05 publish output more thoroughly;
2017-03-05 wenzelm 2017-03-05 potentially redundant pending_output, for the sake of uniformity and reactivity;
2017-03-05 wenzelm 2017-03-05 tuned;
2017-03-05 wenzelm 2017-03-05 tuned;
2017-03-05 wenzelm 2017-03-05 more robust treatment of pending input/output: these are often correlated; no decorations for invisible node;
2017-03-04 wenzelm 2017-03-04 clarified pretty margin;
2017-03-03 wenzelm 2017-03-03 publish decorations like diagnostics; Markup.BAD is decoration, not error message;
2017-01-11 wenzelm 2017-01-11 support for semantic completion;
2017-01-11 wenzelm 2017-01-11 clarified text output wrt. symbols;
2017-01-09 wenzelm 2017-01-09 tuned;
2017-01-09 wenzelm 2017-01-09 clarified modules; tuned;
2017-01-09 wenzelm 2017-01-09 tuned signature;
2017-01-08 wenzelm 2017-01-08 tuned signature;
2017-01-08 wenzelm 2017-01-08 tuned;
2017-01-08 wenzelm 2017-01-08 support for bibtex entries;
2017-01-08 wenzelm 2017-01-08 more explocit Document_Model.Content;
2017-01-07 wenzelm 2017-01-07 tuned signature;
2017-01-07 wenzelm 2017-01-07 clarified lazy text content;
2017-01-07 wenzelm 2017-01-07 tuned;
2017-01-06 wenzelm 2017-01-06 tuned signature;
2017-01-05 wenzelm 2017-01-05 more robust treatment of logical lines;
2017-01-05 wenzelm 2017-01-05 manage document blobs as well;
2017-01-05 wenzelm 2017-01-05 tuned;
2017-01-04 wenzelm 2017-01-04 proper registration of implicitly loaded files;