Karl Tauber ed5180ffd6 Theme Editor: ...

- save/restore selection when reloading file (if changed outside)
- select all text in find field when pressing Ctrl+F
- use lighter color for operators (e.g. '=')

2021-01-15 16:15:05 +01:00

..

themeeditor

Theme Editor:

2021-01-15 16:15:05 +01:00

UIDefaultsLoaderAccessor.java

Theme Editor: use deferred properties loading

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