Merge pull request #767 from ethereum/fixhighlights

fix highlights of tab
pull/768/head
yann300 4 years ago committed by GitHub
commit bdfa3df4ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  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) { async showContent (name) {
super.showContent(name) super.showContent(name)
this.renderHeader() this.renderHeader()
this.emit('focusChanged', name)
} }
/** The header of the side panel */ /** The header of the side panel */

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

Loading…
Cancel
Save