13.5.0

13.5.0 (2025-06-15)

✨ Features

• 🎥 main/grep: Add "launch grep" hotkey to transfer query from Quick Switcher to Grep modal (b4be2a0)
• 🎥 grep: Highlight hit locations in title (153d584)
• grep: Add default folder setting for grep searches (#288) (8feaca9)

20250615_14_51_51.mp4