src/Tools/VSCode/src/protocol.scala
Tue, 14 Mar 2017 14:55:00 +0100 wenzelm explicitly ignore "initialized" message;
Sun, 12 Mar 2017 18:45:53 +0100 wenzelm clarified modules;
Sun, 12 Mar 2017 18:05:06 +0100 wenzelm more explicit message type: allows body to become empty;
Sat, 11 Mar 2017 20:22:43 +0100 wenzelm support for caret handling and dynamic output;
Fri, 10 Mar 2017 16:07:20 +0100 wenzelm more compact protocol message;
Thu, 09 Mar 2017 21:09:45 +0100 wenzelm updated to vscode-languageclient 3.0;
Thu, 09 Mar 2017 15:19:24 +0100 wenzelm incremental document changes;
Sat, 04 Mar 2017 21:04:44 +0100 wenzelm more general hover_message (see also JEdit_Rendering.tooltip_message);
Sat, 04 Mar 2017 13:33:47 +0100 wenzelm tight protocol messages;
Fri, 03 Mar 2017 21:51:04 +0100 wenzelm publish decorations like diagnostics;
Fri, 03 Mar 2017 19:33:52 +0100 wenzelm support for decorations;
Fri, 03 Mar 2017 17:53:24 +0100 wenzelm clarified signature;
Wed, 11 Jan 2017 20:15:17 +0100 wenzelm tuned;
Wed, 11 Jan 2017 20:01:55 +0100 wenzelm support for semantic completion;
Wed, 04 Jan 2017 19:42:08 +0100 wenzelm clarified Document.Node.Name (again): canonical platform file;
Tue, 03 Jan 2017 21:02:46 +0100 wenzelm support VSCode DocumentHighlights;
Tue, 03 Jan 2017 15:21:32 +0100 wenzelm clarified message severity, based on empirical observation of VSCode 1.8.1;
Mon, 02 Jan 2017 11:26:26 +0100 wenzelm proper content format;
Wed, 28 Dec 2016 20:33:43 +0100 wenzelm DiagnosticSeverity according to implementation https://github.com/Microsoft/vscode-languageserver-node instead of documentation https://github.com/Microsoft/language-server-protocol/blob/master/protocol.md;
Wed, 28 Dec 2016 17:38:12 +0100 wenzelm unused;
Tue, 27 Dec 2016 16:47:33 +0100 wenzelm support for diagnostics;
Wed, 21 Dec 2016 22:49:53 +0100 wenzelm clarified signature;
Wed, 21 Dec 2016 22:27:38 +0100 wenzelm tuned signature -- more explicit types;
Wed, 21 Dec 2016 21:18:37 +0100 wenzelm basic support for hyperlinks / Goto Definition Request;
Mon, 19 Dec 2016 20:27:49 +0100 wenzelm basic support for VSCode Language Server protocol;
less more (0) tip