* fix #161961

* remove comment
This commit is contained in:
Sandeep Somavarapu 2022-09-28 10:34:16 +02:00 committed by GitHub
parent 7ff04babc6
commit 044571548e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -27,7 +27,7 @@ interface IConfiguration extends IWindowsConfiguration {
editor?: { accessibilitySupport?: 'on' | 'off' | 'auto' };
security?: { workspace?: { trust?: { enabled?: boolean } } };
window: IWindowSettings & { experimental?: { windowControlsOverlay?: { enabled?: boolean }; useSandbox?: boolean } };
workbench?: { experimental?: { settingsProfiles?: { enabled?: boolean } } };
workbench?: { experimental?: { settingsProfiles?: { enabled?: boolean } }; enableExperiments?: boolean };
}
export class SettingsChangeRelauncher extends Disposable implements IWorkbenchContribution {
@ -42,6 +42,7 @@ export class SettingsChangeRelauncher extends Disposable implements IWorkbenchCo
private accessibilitySupport: 'on' | 'off' | 'auto' | undefined;
private workspaceTrustEnabled: boolean | undefined;
private settingsProfilesEnabled: boolean | undefined;
private experimentsEnabled: boolean | undefined;
constructor(
@IHostService private readonly hostService: IHostService,
@ -123,6 +124,12 @@ export class SettingsChangeRelauncher extends Disposable implements IWorkbenchCo
changed = true;
}
// Experiments
if (typeof config.workbench?.enableExperiments === 'boolean' && config.workbench.enableExperiments !== this.experimentsEnabled) {
this.experimentsEnabled = config.workbench.enableExperiments;
changed = true;
}
// Notify only when changed and we are the focused window (avoids notification spam across windows)
if (notify && changed) {
this.doConfirm(