Update contextualListener.js

pull/1/head
yann300 6 years ago committed by GitHub
parent 5a3c9ef298
commit 9c3ae5ffd8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      src/app/editor/contextualListener.js

@ -119,7 +119,7 @@ class ContextualListener {
const css = csjs`
.highlightref_fullLine {
position:absolute;
z-index:20;
z-index:2;
opacity: 0.4;
background-color: var(--info);
}
@ -139,7 +139,7 @@ class ContextualListener {
}
const fileName = lastCompilationResult.getSourceName(position.file)
if (fileName) {
return this.editor.addMarker(lineColumn, fileName, css.highlightref_fullLine.className)
return this.editor.addMarker(lineColumn, fileName, css.highlightref_fullLine)
}
}
return null

Loading…
Cancel
Save