aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorP. Horban <[email protected]>2020-12-22 15:22:33 +0000
committerGitHub <[email protected]>2020-12-22 15:22:33 +0000
commit92b13d2fab0e816a905ceb4e7004628054d25922 (patch)
tree0691bcfd1812aa97a35dfc8ece962fa9acb87325
parenta8b60afc2ad8cd91aa00ae87147a4e0cb81b4183 (diff)
Fix grammar nit
Co-authored-by: LaurenČ›iu Nicola <[email protected]>
-rw-r--r--editors/code/src/main.ts2
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 };