Tue, 25 Feb 2020 18:30:08 +0100 |
wenzelm |
update to WebviewPanel API, following initial version by Peter Zeller;
|
file |
diff |
annotate
|
Fri, 16 Jun 2017 20:44:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 14 Jun 2017 16:03:02 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 14 Jun 2017 14:11:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 13 Jun 2017 15:11:01 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 13 Jun 2017 11:34:05 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
Mon, 12 Jun 2017 11:41:54 +0200 |
wenzelm |
removed pointless default: vscode.previewHtml happens only after prover response;
|
file |
diff |
annotate
|
Mon, 12 Jun 2017 10:51:30 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
Mon, 12 Jun 2017 10:48:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 07 Jun 2017 15:52:18 +0200 |
wenzelm |
avoid redundant Preview documents;
|
file |
diff |
annotate
|
Thu, 01 Jun 2017 17:36:29 +0200 |
wenzelm |
proper update of already existing preview;
|
file |
diff |
annotate
|
Wed, 31 May 2017 20:43:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 31 May 2017 20:33:26 +0200 |
wenzelm |
added update operation;
|
file |
diff |
annotate
|
Wed, 31 May 2017 20:13:05 +0200 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
Wed, 31 May 2017 17:32:01 +0200 |
wenzelm |
register commands earlier, before prover startup;
|
file |
diff |
annotate
|
Wed, 31 May 2017 17:25:26 +0200 |
wenzelm |
explicit preview request/response;
|
file |
diff |
annotate
|
Tue, 30 May 2017 22:06:39 +0200 |
wenzelm |
provide preview content on Scala side (similar to output);
|
file |
diff |
annotate
|
Tue, 30 May 2017 19:19:39 +0200 |
wenzelm |
clarified event handling;
|
file |
diff |
annotate
|
Tue, 30 May 2017 14:43:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 30 May 2017 11:42:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 30 May 2017 11:40:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 29 May 2017 22:49:43 +0200 |
wenzelm |
update preview after document change;
|
file |
diff |
annotate
|
Mon, 29 May 2017 19:50:46 +0200 |
wenzelm |
proper HTML preview;
|
file |
diff |
annotate
|
Mon, 29 May 2017 19:34:07 +0200 |
wenzelm |
clarified view column;
|
file |
diff |
annotate
|
Mon, 29 May 2017 15:16:32 +0200 |
wenzelm |
basic setup for document preview;
|
file |
diff |
annotate
|