diff options
author | P. Horban <[email protected]> | 2020-12-22 15:22:33 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-22 15:22:33 +0000 |
commit | 92b13d2fab0e816a905ceb4e7004628054d25922 (patch) | |
tree | 0691bcfd1812aa97a35dfc8ece962fa9acb87325 | |
parent | a8b60afc2ad8cd91aa00ae87147a4e0cb81b4183 (diff) |
Fix grammar nit
Co-authored-by: Laurențiu Nicola <[email protected]>
-rw-r--r-- | editors/code/src/main.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 601ed67a7..83d0bdf12 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -425,7 +425,7 @@ function warnAboutExtensionConflicts() { | |||
425 | const fst = found[0]; | 425 | const fst = found[0]; |
426 | const sec = found[1]; | 426 | const sec = found[1]; |
427 | vscode.window.showWarningMessage( | 427 | vscode.window.showWarningMessage( |
428 | `You have both ${fst[0]} (${fst[1]}) and ${sec[0]} (${sec[1]}) ` + | 428 | `You have both the ${fst[0]} (${fst[1]}) and ${sec[0]} (${sec[1]}) ` + |
429 | "plugins enabled. These are known to conflict and cause various functions of " + | 429 | "plugins enabled. These are known to conflict and cause various functions of " + |
430 | "both plugins to not work correctly. You should disable one of them.", "Got it"); | 430 | "both plugins to not work correctly. You should disable one of them.", "Got it"); |
431 | }; | 431 | }; |