mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
e4df5d14b5
- 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
e4df5d14b5
·
2025-12-30 22:42:25 +01:00
History