add discard highlight

6 years ago · c43f87e3f4
parent e8fc831ae5
commit c43f87e3f4
1 changed files with 4 additions and 0 deletions
--- a/src/app/plugin/pluginAPI.js
+++ b/src/app/plugin/pluginAPI.js
@ -127,6 +127,10 @@ module.exports = (pluginManager, fileProviders, fileManager, compiler, udapp) =>
        highlighter.currentSourceLocation(null)
        highlighter.currentSourceLocationFromfileName(position, filePath, hexColor)
        cb()
+      },
+      discardHighlight: (mod, cb) => {
+        highlighter.currentSourceLocation(null)
+        cb()
      }
    }
  }