dgtlmoon 52df3b10e7 UI - Ability to highlight text and have it offered as a ignore-text option, really nice easy way to set ignores on changing text (#1746)

2023-08-24 14:29:48 +02:00

7.6 KiB

Raw Blame History

View Raw