src/Tools/VSCode/src/protocol.scala
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