diff options
| author | Omer Ben-Amram <omerbenamram@gmail.com> | 2019-12-15 17:10:39 +0200 |
|---|---|---|
| committer | Omer Ben-Amram <omerbenamram@gmail.com> | 2019-12-15 17:10:39 +0200 |
| commit | 75353753cdcb993c277ce1d8bb366c708eabe2c6 (patch) | |
| tree | fad356cd7a69e7da8367334adf127773015212ba /editors/code | |
| parent | ebf302d2610527c35b8fb794a03cc1c280c8a9d3 (diff) | |
| download | rust-75353753cdcb993c277ce1d8bb366c708eabe2c6.tar.gz rust-75353753cdcb993c277ce1d8bb366c708eabe2c6.zip | |
`npm run fix`
Diffstat (limited to 'editors/code')
| -rw-r--r-- | editors/code/src/notifications/publish_decorations.ts | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/editors/code/src/notifications/publish_decorations.ts b/editors/code/src/notifications/publish_decorations.ts index 2ccd2d58500..f23e286ad5d 100644 --- a/editors/code/src/notifications/publish_decorations.ts +++ b/editors/code/src/notifications/publish_decorations.ts @@ -9,14 +9,12 @@ export interface PublishDecorationsParams { } export function handle(params: PublishDecorationsParams) { - const targetEditor = vscode.window.visibleTextEditors.find( - editor => { - const unescapedUri = unescape(editor.document.uri.toString()); - // Unescaped URI looks like: - // file:///c:/Workspace/ra-test/src/main.rs - return unescapedUri === params.uri - } - ); + const targetEditor = vscode.window.visibleTextEditors.find(editor => { + const unescapedUri = unescape(editor.document.uri.toString()); + // Unescaped URI looks like: + // file:///c:/Workspace/ra-test/src/main.rs + return unescapedUri === params.uri; + }); if (!Server.config.highlightingOn || !targetEditor) { return; |
