Prevent config warnings from stealing user focus (#6310)

2020-10-13 19:45:57 -07:00
parent 9dfb2c6060
commit 89f609d70b
1 changed files with 1 additions and 1 deletions
@@ -135,7 +135,7 @@ function showWarning(params: ShowWarningParams): void {
        workspaceDisposables.push(warningChannel);
    }
    warningChannel.appendLine(`[${new Date().toLocaleString()}] ${message}`);
-    warningChannel.show(false);
+    warningChannel.show(true);
 }

 function publishDiagnostics(params: PublishDiagnosticsParams): void {