Karl Tauber 751919ec5a Theme Editor: find/replace improvements: ...

- while typing in find field, select match near caret and scroll to it
- PageUp/PageDown keys scroll editor if find/replace fields have focus

2021-08-12 22:05:08 +02:00

..

com/formdev/flatlaf

Theme Editor: find/replace improvements:

2021-08-12 22:05:08 +02:00