diff options
| author | Louis Jimenez <[email protected]> | 2025-06-20 00:39:15 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-06-20 00:39:15 -0400 |
| commit | 6c6761862427279455256e7c99cc45a2f17583ca (patch) | |
| tree | 533b652f88bef336c76992db34dd6d0a42a38413 /packages/cli/src/config/settings.ts | |
| parent | ea63a8401e6558bdd67d556812ed065b4bb07e9e (diff) | |
Make checkpoints configurable in settings.json (#1251)
Diffstat (limited to 'packages/cli/src/config/settings.ts')
| -rw-r--r-- | packages/cli/src/config/settings.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/packages/cli/src/config/settings.ts b/packages/cli/src/config/settings.ts index a90ed2d8..b63f5bb6 100644 --- a/packages/cli/src/config/settings.ts +++ b/packages/cli/src/config/settings.ts @@ -27,6 +27,10 @@ export enum SettingScope { Workspace = 'Workspace', } +export interface CheckpointingSettings { + enabled?: boolean; +} + export interface AccessibilitySettings { disableLoadingPhrases?: boolean; } @@ -47,6 +51,7 @@ export interface Settings { telemetry?: TelemetrySettings; preferredEditor?: string; bugCommand?: BugCommandSettings; + checkpointing?: CheckpointingSettings; // Git-aware file filtering settings fileFiltering?: { |