lint

2 years ago · 58d591c109
parent 9796334bb7
commit 58d591c109
1 changed files with 0 additions and 8 deletions
--- a/apps/remix-ide/src/app/editor/editor.js
+++ b/apps/remix-ide/src/app/editor/editor.js
@ -551,14 +551,6 @@ class Editor extends Plugin {
    this.currentDecorations[typeOfDecoration][filePath].push(...currentDecorations)
  }

-  async addErrorMarker (error){
-    this.api.addErrorMarker(error)
-  }
-
-  async clearErrorMarkers(sources){
-    this.api.clearErrorMarkers(sources)
-  }
-
  /**
   * Add an annotation to the current session.
   * An annotation has the following shape: