Karl Tauber 5cd0b2403c Theme Editor: find/replace bar improvements: ...

- always use editor selection to search if `Ctrl+F` is pressed
- keep find/replace bar open if switching to another editor
- mark matches when switching to another editor

2022-07-08 17:52:08 +02:00

1.5 KiB

Raw Blame History

View Raw