diff options
| author | Marcin Jahn <[email protected]> | 2025-06-30 01:56:37 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-06-29 23:56:37 +0000 |
| commit | d1eb86581ce800778e5a093039ce237ec6da6118 (patch) | |
| tree | 4ae636719beea4b0cfaa2a65e270d2f5968a61ff /packages/cli/src/config/settings.ts | |
| parent | 1732e90d52f26c03981eaefd28183b73dddfeccd (diff) | |
feat(cli): Add hideTips setting (#1524)
Co-authored-by: Allen Hutchison <[email protected]>
Diffstat (limited to 'packages/cli/src/config/settings.ts')
| -rw-r--r-- | packages/cli/src/config/settings.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages/cli/src/config/settings.ts b/packages/cli/src/config/settings.ts index de1e5569..28010a7a 100644 --- a/packages/cli/src/config/settings.ts +++ b/packages/cli/src/config/settings.ts @@ -63,6 +63,7 @@ export interface Settings { // UI setting. Does not display the ANSI-controlled terminal title. hideWindowTitle?: boolean; + hideTips?: boolean; // Add other settings here. } |