better editor highlight

pull/526/head
LianaHus 4 years ago
parent c46c916583
commit 9691b2cde5
  1. 4
      apps/remix-ide/src/app/components/side-panel.js
  2. 8
      apps/remix-ide/src/app/editor/contextualListener.js
  3. 2
      apps/remix-ide/src/assets/js/editor/darkTheme.js

@ -91,6 +91,10 @@ export class SidePanel extends AbstractPanel {
})
}
focus (name) {
this.emit('focusChanged', name)
}
removeView (profile) {
super.removeView(profile)
this.verticalIcons.unlinkContent(profile)

@ -123,14 +123,16 @@ class ContextualListener extends Plugin {
}
_highlightInternal (position, node) {
console.log('highlighting______', node)
if (node.nodeType == 'Block') return
let lastCompilationResult = this._deps.compilersArtefacts['__last']
if (lastCompilationResult && lastCompilationResult.languageversion.indexOf('soljson') === 0) {
let lineColumn = this._deps.offsetToLineColumnConverter.offsetToLineColumn(position, position.file, lastCompilationResult.getSourceCode().sources, lastCompilationResult.getAsts())
const css = csjs`
.highlightref_fullLine {
position:absolute;
z-index:2;
opacity: 0.4;
position: absolute;
z-index: 2;
opacity: 0.1;
background-color: var(--info);
}
`

@ -50,7 +50,7 @@ ace.define("ace/theme/remixDark",["require","exports","module","ace/lib/dom"], f
border: 1px solid #FCE94F;\
}\
.ace-remixDark .ace_marker-layer .ace_active-line {\
background: #363950;\
background: #262843;\
}\
.ace-remixDark .ace_gutter-active-line {\
background-color: #363950;\

Loading…
Cancel
Save