| Wed, 25 Jun 2025 12:08:12 +0200 |
wenzelm |
clarified signature: more accurate ML_Settings;
|
file |
diff |
annotate
|
| Thu, 14 Nov 2024 10:50:49 +0100 |
wenzelm |
more careful isConsumed() / consume() for key and mouse events;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2024 11:05:18 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Tue, 05 Nov 2024 22:05:50 +0100 |
wenzelm |
misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
|
file |
diff |
annotate
|
| Sun, 03 Nov 2024 21:12:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 03 Nov 2024 20:53:12 +0100 |
wenzelm |
clarified signature;
|
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:24:53 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 02 Nov 2024 20:14:44 +0100 |
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, 21 Feb 2022 21:15:05 +0100 |
wenzelm |
clarified pdf path;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 20:31:30 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 21 Feb 2022 16:23:11 +0100 |
wenzelm |
clarified signature: more explicit section structure;
|
file |
diff |
annotate
|