mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
- Add inverse background highlight for selected/active line - Add 'no-tools' filter mode to hide tool results - Add isShiftCtrlO to cycle filters backwards - Filter order: default → no-tools → user-only → labeled-only → all