Tue, 22 Apr 2025 17:14:30 +0200 | wenzelm | more accurate GUI property (amending 49ca1a40c04a) -- requires to update jedit component; | changeset | files |
Tue, 22 Apr 2025 16:49:47 +0200 | wenzelm | more accurate macOS L&F (see also efc58b56a6c7); | changeset | files |
Tue, 22 Apr 2025 16:19:28 +0200 | wenzelm | provide FlatMac themes (see also FlatLaf 3.0); | changeset | files |
Tue, 22 Apr 2025 16:07:18 +0200 | wenzelm | tuned imports; | changeset | files |