Spring/spring-tools
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Show live hovers on all open editors in vscode

Browse Source
This commit is contained in:
nsingh
2018-05-04 18:31:24 -07:00
parent 36098a146b
commit ae531ff78c
1 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
vscode-extensions/commons-vscode/src/highlight-service.ts
View File

@@ -41,13 +41,15 @@ export class HighlightService {
}
refresh(uri : String) {
let editor = VSCode.window.activeTextEditor;
let activeUri = editor.document.uri.toString();
if (uri===activeUri) {
//We only update highlights in the active editor for now
let highlights : Range[] = this.highlights.get(uri) || [];
let decorations = highlights.map(hl => toDecoration(hl));
editor.setDecorations(this.DECORATION, decorations);
let editors = VSCode.window.visibleTextEditors;
for (let editor of editors) {
let activeUri = editor.document.uri.toString();
if (uri===activeUri) {
//We only update highlights in the active editor for now
let highlights : Range[] = this.highlights.get(uri) || [];
let decorations = highlights.map(hl => toDecoration(hl));
editor.setDecorations(this.DECORATION, decorations);
}
}
}
}