| Fri, 09 Sep 2022 16:44:43 +0200 |
wenzelm |
tuned: prefer Scala Regex operations;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2022 22:41:45 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 11:18:22 +0200 |
wenzelm |
tuned signature, following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| 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
|
| Mon, 06 Apr 2020 12:53:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2017 21:56:56 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2017 21:36:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 22:01:11 +0200 |
wenzelm |
clarified tree row handling;
|
file |
diff |
annotate
|
| Wed, 05 Aug 2015 20:19:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 05 Aug 2015 20:02:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 20 May 2015 22:22:27 +0200 |
wenzelm |
cell-specific row height based on its font, e.g. relevant for DPI scaling on Windows;
|
file |
diff |
annotate
|
| Wed, 28 Jan 2015 19:15:13 +0100 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2015 21:15:30 +0100 |
wenzelm |
always swap panels, which leads to slightly better GUI layout;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2015 20:39:01 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 19 Jan 2015 16:31:04 +0100 |
wenzelm |
proper tooltips -- override action toolTip which is empty here;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2015 23:07:00 +0100 |
wenzelm |
discontinued attempt at alphabetic_order -- selection via regex should be sufficient;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2015 22:43:53 +0100 |
wenzelm |
proper selection of nodes via regular expression;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2015 22:20:48 +0100 |
wenzelm |
suppress some controls that don't work yet;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2015 21:35:54 +0100 |
wenzelm |
proper scrolling wrt. transform;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2015 20:15:05 +0100 |
wenzelm |
clarified main actions and keyboard focus;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2015 19:21:10 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 18 Jan 2015 17:34:14 +0100 |
wenzelm |
support for tree view on graph nodes;
|
file |
diff |
annotate
|