| Tue, 21 Apr 2020 19:07:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Sat, 01 Jun 2019 21:43:41 +0200 |
wenzelm |
tuned imports -- accommodate scala-2.13.0-RC3;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 20:04:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 20:02:09 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 16:08:13 +0100 |
wenzelm |
more operations for typed JSON values;
|
file |
diff |
annotate
|
| Sat, 10 Mar 2018 14:43:15 +0100 |
wenzelm |
adapted to 3869b2400e22;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:11:21 +0200 |
wenzelm |
support for workspace edits;
|
file |
diff |
annotate
|
| Fri, 30 Jun 2017 14:26:45 +0200 |
wenzelm |
retain symlinks in file names from VSCode: relevant for proper file locations in decorations etc.;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2017 15:12:40 +0200 |
wenzelm |
clarified editor focus;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2017 14:39:24 +0200 |
wenzelm |
proper hyperlink_command, notably for locate_query;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2017 11:36:25 +0200 |
wenzelm |
HTML GUI actions via JavaScript;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 16:17:54 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 16:14:38 +0200 |
wenzelm |
provide spell-checker menu via completion commands;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 15:04:34 +0200 |
wenzelm |
added commands for spell-checker dictionary;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 16:21:17 +0200 |
wenzelm |
support for separate proof state output;
|
file |
diff |
annotate
|
| Wed, 14 Jun 2017 11:32:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 10 Jun 2017 22:48:35 +0200 |
wenzelm |
use old-style "textEdit" for the sake of the external protocol (see also vscode-languageserver-node/issues/188);
|
file |
diff |
annotate
|
| Sat, 10 Jun 2017 21:48:02 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 17:13:50 +0200 |
wenzelm |
provide information about Isabelle symbols within VSCode;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 17:25:26 +0200 |
wenzelm |
explicit preview request/response;
|
file |
diff |
annotate
|
| Tue, 30 May 2017 22:14:00 +0200 |
wenzelm |
tuned -- like Dynamic_Preview;
|
file |
diff |
annotate
|
| Tue, 30 May 2017 22:06:39 +0200 |
wenzelm |
provide preview content on Scala side (similar to output);
|
file |
diff |
annotate
|
| Thu, 25 May 2017 19:23:01 +0200 |
wenzelm |
clarified output: do not require "method", which is absent for ResponseMessage;
|
file |
diff |
annotate
|
| Thu, 25 May 2017 18:07:29 +0200 |
wenzelm |
clarified message logging;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 14:55:00 +0100 |
wenzelm |
explicitly ignore "initialized" message;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 18:45:53 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 18:05:06 +0100 |
wenzelm |
more explicit message type: allows body to become empty;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2017 20:22:43 +0100 |
wenzelm |
support for caret handling and dynamic output;
|
file |
diff |
annotate
|
| Fri, 10 Mar 2017 16:07:20 +0100 |
wenzelm |
more compact protocol message;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2017 21:09:45 +0100 |
wenzelm |
updated to vscode-languageclient 3.0;
|
file |
diff |
annotate
|
| Thu, 09 Mar 2017 15:19:24 +0100 |
wenzelm |
incremental document changes;
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 21:04:44 +0100 |
wenzelm |
more general hover_message (see also JEdit_Rendering.tooltip_message);
|
file |
diff |
annotate
|
| Sat, 04 Mar 2017 13:33:47 +0100 |
wenzelm |
tight protocol messages;
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 21:51:04 +0100 |
wenzelm |
publish decorations like diagnostics;
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 19:33:52 +0100 |
wenzelm |
support for decorations;
|
file |
diff |
annotate
|
| Fri, 03 Mar 2017 17:53:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2017 20:15:17 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2017 20:01:55 +0100 |
wenzelm |
support for semantic completion;
|
file |
diff |
annotate
|
| Wed, 04 Jan 2017 19:42:08 +0100 |
wenzelm |
clarified Document.Node.Name (again): canonical platform file;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2017 21:02:46 +0100 |
wenzelm |
support VSCode DocumentHighlights;
|
file |
diff |
annotate
|
| Tue, 03 Jan 2017 15:21:32 +0100 |
wenzelm |
clarified message severity, based on empirical observation of VSCode 1.8.1;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2017 11:26:26 +0100 |
wenzelm |
proper content format;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2016 17:38:12 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Tue, 27 Dec 2016 16:47:33 +0100 |
wenzelm |
support for diagnostics;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 22:49:53 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 22:27:38 +0100 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| Wed, 21 Dec 2016 21:18:37 +0100 |
wenzelm |
basic support for hyperlinks / Goto Definition Request;
|
file |
diff |
annotate
|
| Mon, 19 Dec 2016 20:27:49 +0100 |
wenzelm |
basic support for VSCode Language Server protocol;
|
file |
diff |
annotate
|