From 90f44d4e50d1b17bc69157cd64874a2075e7fb09 Mon Sep 17 00:00:00 2001 From: Richard de Wit Date: Wed, 9 Jan 2019 13:02:12 +0100 Subject: [PATCH] Clarify to close message to choose user toolchain Let the message tell you to close the dialog to select a toolchain. Fixes #383 --- src/extension.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/extension.ts b/src/extension.ts index 39efcf5..9cbf1e8 100644 --- a/src/extension.ts +++ b/src/extension.ts @@ -429,7 +429,7 @@ async function handleMissingRustupUserToolchain( } const functionLogger = logger.createChildLogger('handleMissingRustupUserToolchain: '); functionLogger.debug(`toolchainKind=${toolchainKind}`); - await window.showInformationMessage(`To properly function, the extension needs to know what ${toolchainKind} you want to use`); + await window.showInformationMessage(`To properly function, the extension needs to know what ${toolchainKind} you want to use. Close this message to choose a ${toolchainKind}.`); const toolchains = getToolchains(); if (toolchains.length === 0) { functionLogger.error('no toolchains');