Karl Tauber a2b615d4a7 focus indication border (or background) no longer hidden when temporary loosing focus (e.g. showing a popup menu)

2020-04-20 11:27:29 +02:00

..

java/com/formdev/flatlaf/jideoss

focus indication border (or background) no longer hidden when temporary loosing focus (e.g. showing a popup menu)

2020-04-20 11:27:29 +02:00

resources

replaced prefix @@ with $ in .properties files

2019-12-23 00:18:27 +01:00