Make checkpoints configurable in settings.json (#1251)

This commit is contained in:
Louis Jimenez 2025-06-20 00:39:15 -04:00 committed by GitHub
parent ea63a8401e
commit 6c67618624
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
11 changed files with 50 additions and 21 deletions

View file

@ -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?: {