diff options
author | Michael Bolin <[email protected]> | 2019-07-11 04:44:23 +0100 |
---|---|---|
committer | Michael Bolin <[email protected]> | 2019-07-11 04:56:16 +0100 |
commit | a814883cd40be772d52bb8e7424326021fdb0e0e (patch) | |
tree | 66c9fa6e1c5775b25c12515cd9b041095cb96b83 | |
parent | 61135d4d4df0a16cbd39831e23b7b0deeeea44a9 (diff) |
Ignore workspace/didChangeConfiguration notifications.
-rw-r--r-- | crates/ra_lsp_server/src/main_loop.rs | 6 | ||||
-rw-r--r-- | crates/ra_lsp_server/src/req.rs | 9 |
2 files changed, 11 insertions, 4 deletions
diff --git a/crates/ra_lsp_server/src/main_loop.rs b/crates/ra_lsp_server/src/main_loop.rs index f7becd8fb..668d2fd72 100644 --- a/crates/ra_lsp_server/src/main_loop.rs +++ b/crates/ra_lsp_server/src/main_loop.rs | |||
@@ -431,6 +431,12 @@ fn on_notification( | |||
431 | } | 431 | } |
432 | Err(not) => not, | 432 | Err(not) => not, |
433 | }; | 433 | }; |
434 | let not = match not.cast::<req::DidChangeConfiguration>() { | ||
435 | Ok(_params) => { | ||
436 | return Ok(()); | ||
437 | } | ||
438 | Err(not) => not, | ||
439 | }; | ||
434 | log::error!("unhandled notification: {:?}", not); | 440 | log::error!("unhandled notification: {:?}", not); |
435 | Ok(()) | 441 | Ok(()) |
436 | } | 442 | } |
diff --git a/crates/ra_lsp_server/src/req.rs b/crates/ra_lsp_server/src/req.rs index 27f2deb34..11af41a1d 100644 --- a/crates/ra_lsp_server/src/req.rs +++ b/crates/ra_lsp_server/src/req.rs | |||
@@ -5,10 +5,11 @@ use url_serde; | |||
5 | 5 | ||
6 | pub use lsp_types::{ | 6 | pub use lsp_types::{ |
7 | notification::*, request::*, ApplyWorkspaceEditParams, CodeActionParams, CodeLens, | 7 | notification::*, request::*, ApplyWorkspaceEditParams, CodeActionParams, CodeLens, |
8 | CodeLensParams, CompletionParams, CompletionResponse, DocumentOnTypeFormattingParams, | 8 | CodeLensParams, CompletionParams, CompletionResponse, DidChangeConfigurationParams, |
9 | DocumentSymbolParams, DocumentSymbolResponse, ExecuteCommandParams, Hover, InitializeResult, | 9 | DocumentOnTypeFormattingParams, DocumentSymbolParams, DocumentSymbolResponse, |
10 | MessageType, PublishDiagnosticsParams, ReferenceParams, ShowMessageParams, SignatureHelp, | 10 | ExecuteCommandParams, Hover, InitializeResult, MessageType, PublishDiagnosticsParams, |
11 | TextDocumentEdit, TextDocumentPositionParams, TextEdit, WorkspaceEdit, WorkspaceSymbolParams, | 11 | ReferenceParams, ShowMessageParams, SignatureHelp, TextDocumentEdit, |
12 | TextDocumentPositionParams, TextEdit, WorkspaceEdit, WorkspaceSymbolParams, | ||
12 | }; | 13 | }; |
13 | 14 | ||
14 | pub enum AnalyzerStatus {} | 15 | pub enum AnalyzerStatus {} |