From 318eef274c4e494689119d1778f5675638714ef8 Mon Sep 17 00:00:00 2001 From: Carlos Scheidegger Date: Fri, 14 Jul 2023 14:58:16 -0300 Subject: [PATCH] rephrase timeout warning to reduce potential user confusion --- src/core/mapped-text.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/mapped-text.ts b/src/core/mapped-text.ts index 96193d14a4..5b0b1d5a85 100644 --- a/src/core/mapped-text.ts +++ b/src/core/mapped-text.ts @@ -57,7 +57,7 @@ export function mappedDiff( ); if (diffResult === undefined) { warning( - "Warning: diff of engine output timed out. No source lines will be available.", + "Warning: The computation used to determine source line information from the engine timed out.\nLine number information will be unavailable and/or inaccurate.", ); return asMappedString(target); }