"Did you know?" start screen tips (#5982)

Co-authored-by: Aiden Cline <63023139+rekram1-node@users.noreply.github.com>
Co-authored-by: opencode-agent[bot] <opencode-agent[bot]@users.noreply.github.com>
Co-authored-by: rekram1-node <rekram1-node@users.noreply.github.com>
Co-authored-by: Aiden Cline <aidenpcline@gmail.com>
This commit is contained in:
David Hill 2025-12-23 19:28:33 +00:00 committed by GitHub
commit ae7286c031
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 244 additions and 1 deletions

View file

@ -1134,6 +1134,10 @@ export type KeybindsConfig = {
* Toggle terminal title
*/
terminal_title_toggle?: string
/**
* Toggle tips on home screen
*/
tips_toggle?: string
}
export type AgentConfig = {