diff --git a/src/app/plugin/pluginAPI.js b/src/app/plugin/pluginAPI.js
index a6c8f8dd54..99a738e168 100644
--- 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()
       }
     }
   }