| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | file | diff | annotate |
| 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 |