Karl Tauber 651454170d Theme Editor: ...

- fixed duplicate lines action if selection includes line separator at the end
- preview: do not disable internal components of JInternalFrame

2021-08-28 14:30:11 +02:00

..

themeeditor

Theme Editor:

2021-08-28 14:30:11 +02:00

UIDefaultsLoaderAccessor.java

Theme Editor: use deferred properties loading

2020-07-07 14:21:31 +02:00