mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
7f2d2f106e
- Add expandTools to EditorAction in pi-tui so components can access it
- Update bash-execution, compaction-summary-message, branch-summary-message,
and tool-execution to use getEditorKeybindings().getKeys('expandTools')
- Pass expandTools config to setEditorKeybindings in KeybindingsManager.create()
- Style keybinding with 'dim' color, description with 'muted' (matches startup hints)
7f2d2f106e
ยท
2026-01-14 10:27:22 +01:00
History