| Wed, 15 Jan 2020 19:54:50 +0100 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
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 Jun 2017 22:39:57 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 30 May 2017 21:38:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 23 May 2017 14:23:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 17:59:03 +0100 |
wenzelm |
clarified current_command: index refers to node content, negative index means first command;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 14:43:50 +0100 |
wenzelm |
clarified caret offset;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 13:48:10 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 12 Mar 2017 13:14:24 +0100 |
wenzelm |
misc tuning and simplification;
|
file |
diff |
annotate
|
| Sat, 11 Mar 2017 23:12:55 +0100 |
wenzelm |
dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
|
file |
diff |
annotate
|