Karl Tauber bb2a21270b Theme Editor: added "Pick Color from Screen" action to "Edit" menu that allows picking a color from anywhere on screen and insert/change it at caret position

2021-10-04 12:44:03 +02:00

..

themeeditor

Theme Editor: added "Pick Color from Screen" action to "Edit" menu that allows picking a color from anywhere on screen and insert/change it at caret position

2021-10-04 12:44:03 +02:00

UIDefaultsLoaderAccessor.java

Styling: support specifying explicit value type for parsing CSS values (for future use)

2021-08-31 23:53:12 +02:00