Function MigrateOptions

src/shared/migrateOptions.ts:109–132

(vscode: vscode)

];

export async function MigrateOptions(vscode: vscode): Promise<void> {
    const configuration = vscode.workspace.getConfiguration();
    for (const { oldName, newName } of migrateOptions) {
        if (!configuration.has(oldName)) {
            continue;
        }

        const inspectionValueOfNewOption = configuration.inspect(newName);
        if (inspectionValueOfNewOption == undefined) {
            continue;
        }

        const newOptionValue = configuration.get(newName);
        if (newOptionValue == undefined) {
            continue;
        }

        if (shouldMove(newOptionValue, inspectionValueOfNewOption.defaultValue)) {
            await MoveOptionsValue(oldName, newName, configuration);
        }
    }

    await migrateDotnetPathOption(vscode);
}

async function migrateDotnetPathOption(vscode: vscode): Promise<void> {
    const configuration = vscode.workspace.getConfiguration();