13.2.0

13.2.0 (2025-05-18)

✨ Features

• grep: Add a "Grep search delay milli-seconds" option to settings (#282) (db21490)

If you want to search in real-time, please set the "Grep search delay milli-seconds" option to 1 or more.