From e67118414b5deb33dbbd67b11d6aebe4b8d549ea Mon Sep 17 00:00:00 2001 From: Jon Senchyna Date: Fri, 6 Nov 2020 06:30:04 -0500 Subject: [PATCH] Clean up comment --- extension.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extension.js b/extension.js index 29b2023..b27094a 100644 --- a/extension.js +++ b/extension.js @@ -193,7 +193,8 @@ function checkForGremlins(activeTextEditor) { loadConfiguration(doc) if (Object.keys(gremlins).length === 0) { - // Clear any diagnostics from previous runs (after config change) + // If there are now no configured gremlins, clear any diagnostics from + // previous runs and short-curcuit. if (diagnosticCollection) { diagnosticCollection.set(activeTextEditor.document.uri, []) }