fix highlights of tab

pull/767/head
filip mertens 4 years ago
parent 9c72cea3a8
commit 408b8807f5
  1. 1
      apps/remix-ide/src/app/components/side-panel.js
  2. 3
      apps/remix-ide/src/app/editor/SourceHighlighters.js

@ -113,6 +113,7 @@ export class SidePanel extends AbstractPanel {
async showContent (name) {
super.showContent(name)
this.renderHeader()
this.emit('focusChanged', name)
}
/** The header of the side panel */

@ -30,8 +30,9 @@ class SourceHighlighters {
// eslint-disable-next-line
try {
if (!this.highlighters[from]) return
const sourceHighlight = new SourceHighlighter()
let sourceHighlight
for (const index in this.highlighters[from]) {
sourceHighlight = new SourceHighlighter()
sourceHighlight.currentSourceLocationFromfileName(
this.highlighters[from][index].position,
this.highlighters[from][index].source,

Loading…
Cancel
Save