| Thu, 26 Dec 2024 15:24:21 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 19 Nov 2024 10:11:17 +0100 | wenzelm | unused; | file | diff | annotate |
| Mon, 18 Nov 2024 15:05:31 +0100 | wenzelm | clarified Tree_View.init_model: more uniform; | file | diff | annotate |
| Thu, 14 Nov 2024 10:50:49 +0100 | wenzelm | more careful isConsumed() / consume() for key and mouse events; | file | diff | annotate |
| Sun, 03 Nov 2024 20:53:12 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Nov 2024 20:23:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 03 Nov 2024 20:01:26 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Nov 2024 19:38:30 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 02 Nov 2024 20:27:41 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 02 Nov 2024 20:24:53 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 02 Nov 2024 20:14:44 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| 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 |