Clear highlighting on page unload, etc.

common/content/buffer.js

@@ -345,6 +345,18 @@ const Buffer = Module("buffer", {
         window.content.document.pageIsFullyLoaded = value;
     },
 
+    /**
+     * @property {Object} The local state store for the currently selected
+     *     tab.
+     */
+    get localStore() {
+        if (!content.liberatorStore)
+            content.liberatorStore = {};
+        return content.liberatorStore;
+    },
+
+
+
     /**
      * @property {Node} The last focused input field in the buffer. Used
      *     by the "gi" key binding.