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

PT #159690831: Remove inline boot icon decoration

Browse Source
This commit is contained in:
BoykoAlex
2018-08-10 10:07:44 -04:00
parent c953ff93c1
commit e92631b036
3 changed files with 4 additions and 128 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -27,10 +27,10 @@ export class HighlightService {
constructor() {
this.DECORATION = VSCode.window.createTextEditorDecorationType({
before: {
contentIconPath: path.resolve(__dirname, "../icons/boot-12h.png"),
margin: '2px 2px 0px 0px'
},
// before: {
// contentIconPath: path.resolve(__dirname, "../icons/boot-12h.png"),
// margin: '2px 2px 0px 0px'
// },
backgroundColor: 'rgba(109,179,63,0.25)',
borderColor: 'rgba(109,179,63,0.25)',
borderSpacing: '4px',
@@ -55,7 +55,6 @@ export class HighlightService {
let highlights : Range[] = this.highlights.get(docId.uri) || [];
let decorations = highlights.map(hl => toDecoration(hl));
editor.setDecorations(this.DECORATION, decorations);
editor.setDecorations(this.DECORATION, decorations);
}
}
}