Karl Tauber 4da0c342f8 Theme Editor: paint real colors and HSL values in overlay on right side of editor (instead of behind editor text; previous commit)

2020-04-06 15:42:58 +02:00

..

themeeditor

Theme Editor: paint real colors and HSL values in overlay on right side of editor (instead of behind editor text; previous commit)

2020-04-06 15:42:58 +02:00

UIDefaultsLoaderAccessor.java

Theme Editor: mark invalid color values with a curly underline

2020-04-05 18:04:28 +02:00