()
| 685 | } |
| 686 | |
| 687 | private async restartWithPrompt(): Promise<void> { |
| 688 | this.logger.writeDebug("Settings changed, prompting to restart..."); |
| 689 | const response = await vscode.window.showInformationMessage( |
| 690 | "The PowerShell runtime configuration has changed, would you like to start a new session?", |
| 691 | "Yes", |
| 692 | "No", |
| 693 | ); |
| 694 | |
| 695 | if (response === "Yes") { |
| 696 | await this.restartSession(); |
| 697 | } |
| 698 | } |
| 699 | |
| 700 | private registerCommands(): void { |
| 701 | this.registeredCommands = [ |
no test coverage detected