| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 17 Jun 2017 14:47:36 +0200 |
wenzelm |
maintain overlays within main state of document models;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 15:59:27 +0200 |
wenzelm |
more general dispatcher operations;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 21:15:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 20:16:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 10 Jan 2017 16:53:05 +0100 |
wenzelm |
support "purge" operation on document model;
|
file |
diff |
annotate
|
| Tue, 10 Jan 2017 16:09:04 +0100 |
wenzelm |
proper template;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 16:20:42 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2016 15:53:53 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 24 Nov 2016 15:21:54 +0100 |
wenzelm |
explicit option editor_generated_input_delay, which is more aggressive by default;
|
file |
diff |
annotate
|
| Wed, 23 Nov 2016 16:15:17 +0100 |
wenzelm |
delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions;
|
file |
diff |
annotate
|
| Sat, 21 Nov 2015 20:13:52 +0100 |
wenzelm |
double flush to ensure persistent "state" output is reset;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 17:00:16 +0200 |
wenzelm |
support hyperlinks with optional focus change;
|
file |
diff |
annotate
|
| Wed, 09 Apr 2014 13:32:34 +0200 |
wenzelm |
avoid confusion about pointless cursor movement with external links;
|
file |
diff |
annotate
|