(error: any, workDir: string, sdkConfigName: "dart.getDartSdkCommand" | "dart.getFlutterSdkCommand", isWorkspaceSetting: boolean)
| 612 | } |
| 613 | |
| 614 | private async warnIfBadSDKCommandOutput(error: any, workDir: string, sdkConfigName: "dart.getDartSdkCommand" | "dart.getFlutterSdkCommand", isWorkspaceSetting: boolean) { |
| 615 | const action = await window.showWarningMessage(`Failed to obtain the SDK from the command: ${error}. Working directory: ${workDir}.`, openSettingsAction); |
| 616 | if (openSettingsAction === action) { |
| 617 | await this.openSettingsFile(sdkConfigName, isWorkspaceSetting); |
| 618 | } |
| 619 | } |
| 620 | |
| 621 | private async openSettingsFile(sdkConfigName: string, isWorkspaceSetting: boolean) { |
| 622 | await commands.executeCommand( |
no test coverage detected