From c51efb2232c3977972dbfd374a42a0736258cd44 Mon Sep 17 00:00:00 2001 From: LianaHus Date: Wed, 13 May 2020 14:19:48 +0200 Subject: [PATCH] using source highlighter /disabled now/ --- src/app/tabs/staticanalysis/staticAnalysisView.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/app/tabs/staticanalysis/staticAnalysisView.js b/src/app/tabs/staticanalysis/staticAnalysisView.js index da9bea82df..a107d16c0f 100644 --- a/src/app/tabs/staticanalysis/staticAnalysisView.js +++ b/src/app/tabs/staticanalysis/staticAnalysisView.js @@ -20,6 +20,7 @@ function staticAnalysisView (localRegistry, analysisModule) { this.lastCompilationSource = null this.currentFile = 'No file compiled' this.sourceHighlighter = new SourceHighlighter() + this.analysisModule = analysisModule self._components = { renderer: new Renderer() } @@ -108,6 +109,7 @@ staticAnalysisView.prototype.run = function () { return } const highlightLocation = (location, fileName) => { + // await this.analysisModule.call('editor', 'highlight', location, fileName) @todo(#2834) use this after fixing the issue this.sourceHighlighter.currentSourceLocationFromfileName(location, fileName) } const selected = this.selectedModules()