| Tue, 22 Apr 2025 21:30:23 +0200 | wenzelm | more accurate GUI painting; | changeset | files |
| Tue, 22 Apr 2025 20:56:50 +0200 | wenzelm | clarified GUI calculations for icons; | changeset | files |
| Tue, 22 Apr 2025 19:49:31 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 22 Apr 2025 17:49:56 +0200 | wenzelm | more FlatLaf operations (following 35d176c50867) -- requires to update jedit component; | changeset | files |