Method restartOnCriticalConfigChange

src/session.ts:615–685

There are some changes we cannot "hot" set, so these require a restart of the session

(
        changeEvent: vscode.ConfigurationChangeEvent,
    )

    /** There are some changes we cannot "hot" set, so these require a restart of the session */
    private async restartOnCriticalConfigChange(
        changeEvent: vscode.ConfigurationChangeEvent,
    ): Promise<void> {
        if (this.suppressRestartPrompt) {
            return;
        }
        if (this.sessionStatus !== SessionStatus.Running) {
            return;
        }

        // Restart not needed if shell integration is enabled but the shell is backgrounded.
        const settings = getSettings();
        if (
            changeEvent.affectsConfiguration(
                "terminal.integrated.shellIntegration.enabled",
            )
        ) {
            const shellIntegrationEnabled =
                vscode.workspace
                    .getConfiguration("terminal.integrated.shellIntegration")
                    .get<boolean>("enabled") ?? false;
            if (
                shellIntegrationEnabled &&
                !settings.integratedConsole.startInBackground
            ) {
                return this.restartWithPrompt();
            }
        }

        // Early return if the change doesn't affect the PowerShell extension settings from this point forward
        if (!changeEvent.affectsConfiguration("powershell")) {
            return;
        }

        // Detect any setting changes that would affect the session.
        const coldRestartSettingNames = [
            "developer.traceLsp",
            "developer.traceDap",
            "developer.editorServicesLogLevel",
        ];
        for (const settingName of coldRestartSettingNames) {
            if (
                changeEvent.affectsConfiguration(
                    "powershell" + "." + settingName,
                )
            ) {
                return this.restartWithPrompt();
            }
        }

        // TODO: Migrate these to affectsConfiguration style above
        if (
            settings.cwd !== this.sessionSettings.cwd ||
            settings.powerShellDefaultVersion !==
                this.sessionSettings.powerShellDefaultVersion ||
            settings.developer.bundledModulesPath !==
                this.sessionSettings.developer.bundledModulesPath ||
            settings.developer.editorServicesWaitForDebugger !==