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

..

ui

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

FlatJideOssDefaultsAddon.java

UIDefaultsLoader: changed .properties file loading order: now all core .properties files are loaded before loading addon .properties files, which makes it easier to overwrite core values in addons; also, addon loading order can be specified

2020-01-07 12:55:37 +01:00