nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-02-10 14:02:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

npm run fix

Browse Source
This commit is contained in:
Omer Ben-Amram 2019-12-15 17:10:39 +02:00
parent ebf302d261
commit 75353753cd
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
editors/code/src/notifications/publish_decorations.ts
View File

@ -9,14 +9,12 @@ export interface PublishDecorationsParams {
} }
export function handle(params: PublishDecorationsParams) { export function handle(params: PublishDecorationsParams) {
const targetEditor = vscode.window.visibleTextEditors.find( const targetEditor = vscode.window.visibleTextEditors.find(editor => {
editor => {
const unescapedUri = unescape(editor.document.uri.toString()); const unescapedUri = unescape(editor.document.uri.toString());
// Unescaped URI looks like: // Unescaped URI looks like:
// file:///c:/Workspace/ra-test/src/main.rs // file:///c:/Workspace/ra-test/src/main.rs
return unescapedUri === params.uri return unescapedUri === params.uri;
} });
);
if (!Server.config.highlightingOn || !targetEditor) { if (!Server.config.highlightingOn || !targetEditor) {
return; return;