diff options
| author | Aleksey Kladov <[email protected]> | 2019-01-28 11:43:07 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-01-28 12:01:22 +0000 |
| commit | d1a67c1174abfb99b67b8db89c9f27c741e85057 (patch) | |
| tree | b589fcf2ee7d816f3f18bd83b8e88738dcb6fd4f /editors/code/src/events | |
| parent | 7abe1f422c1a1230ad5b39474101806c438ef452 (diff) | |
align command naming
Diffstat (limited to 'editors/code/src/events')
| -rw-r--r-- | editors/code/src/events/change_active_text_editor.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/events/change_active_text_editor.ts b/editors/code/src/events/change_active_text_editor.ts index 0b7ceb65d..af295b2ec 100644 --- a/editors/code/src/events/change_active_text_editor.ts +++ b/editors/code/src/events/change_active_text_editor.ts | |||
| @@ -16,7 +16,7 @@ export async function handle(editor: TextEditor | undefined) { | |||
| 16 | uri: editor.document.uri.toString() | 16 | uri: editor.document.uri.toString() |
| 17 | }; | 17 | }; |
| 18 | const decorations = await Server.client.sendRequest<Decoration[]>( | 18 | const decorations = await Server.client.sendRequest<Decoration[]>( |
| 19 | 'm/decorationsRequest', | 19 | 'rust-analyzer/decorationsRequest', |
| 20 | params | 20 | params |
| 21 | ); | 21 | ); |
| 22 | Server.highlighter.setHighlights(editor, decorations); | 22 | Server.highlighter.setHighlights(editor, decorations); |