From 4cdd2eff9acd19f46019a806e0b20e48b0a61f9b Mon Sep 17 00:00:00 2001 From: Felix Becker Date: Tue, 13 Dec 2016 00:44:56 +0100 Subject: [PATCH] Report diagnostics during indexing --- src/LanguageServer.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/LanguageServer.php b/src/LanguageServer.php index 3fce1b0..2a5a716 100644 --- a/src/LanguageServer.php +++ b/src/LanguageServer.php @@ -251,7 +251,10 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher "Parsing file $i/$count: {$uri}" ); try { - yield $this->documentLoader->load($uri); + $document = yield $this->documentLoader->load($uri); + if (!$document->isVendored()) { + $this->client->textDocument->publishDiagnostics($uri, $document->getDiagnostics()); + } } catch (ContentTooLargeException $e) { $this->client->window->logMessage( MessageType::INFO,