mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
docs: fix outdated custom tools paths and add missing header shortcut (#283)
* docs: fix custom tools example paths to use index.ts structure * fix: add missing ctrl+g shortcut to startup header * docs: fix /session -> /resume for session switching references
This commit is contained in:
committed by
GitHub
Unverified
parent
2953a9d8d4
commit
7470dde1e9
@@ -236,6 +236,9 @@ export class InteractiveMode {
|
||||
theme.fg("dim", "ctrl+t") +
|
||||
theme.fg("muted", " to toggle thinking") +
|
||||
"\n" +
|
||||
theme.fg("dim", "ctrl+g") +
|
||||
theme.fg("muted", " for external editor") +
|
||||
"\n" +
|
||||
theme.fg("dim", "/") +
|
||||
theme.fg("muted", " for commands") +
|
||||
"\n" +
|
||||
|
||||
Reference in New Issue
Block a user