remove uneeded fn

4d12181c · yann300 · 68e94cf0 · 4d12181c
Commit 4d12181c authored May 11, 2020 by yann300
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 5 deletions

editor.js src/app/editor/editor.js +0 -5

No files found.
--- a/src/app/editor/editor.js
+++ b/src/app/editor/editor.js
@@ -207,11 +207,6 @@ class Editor extends Plugin {
    this.sourceHighlighters.discardHighlightAt(line, filePath, from)
  }

-  currentHighlights () {
-    const { from } = this.currentRequest
-    return this.sourceHighlighters.currentHighlights(from)
-  }
-
  setTheme (type) {
    this.editor.setTheme('ace/theme/' + this._themes[type])
  }