feat: External editor settings (#882)

This commit is contained in:
Leo 2025-06-12 02:21:54 +01:00 committed by GitHub
parent dd53e5c96a
commit 1ef68e0612
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
23 changed files with 849 additions and 81 deletions

View file

@ -39,6 +39,7 @@ export interface Settings {
accessibility?: AccessibilitySettings;
telemetry?: boolean;
enableModifyWithExternalEditors?: boolean;
preferredEditor?: string;
// Git-aware file filtering settings
fileFiltering?: {