Karl Tauber 990da2b412 Theme Editor: ...

- auto-activate completion popup when '$' is pressed
- use keys auto-complete in value if value contains '$'
- more fine grained detection what completion provider should be used

2020-07-08 18:07:37 +02:00

..

flatlaf

Theme Editor:

2020-07-08 18:07:37 +02:00