Label naming

lib/aardvark.js

 /*
  * This Source Code is subject to the terms of the Mozilla Public License
  * version 2.0 (the "License"). You can obtain a copy of the License at
  * http://mozilla.org/MPL/2.0/.
  */
 
 let {Prefs} = require("prefs");
 
 // Make sure to stop selection when we are uninstalled
 onShutdown.add(function() Aardvark.quit());
@@ skipping 316 matching lines @@
       addition += ", style: " + elem.style.cssText;
       
     return [tagName, addition];
   },
 
   selectElement: function(elem)
   {
     this.selectedElem = elem;
     this.prevSelectionUpdate = Date.now();
   
-    let border = this.boxElem.getElementsByClassName("border")[0];
-    let label = this.boxElem.getElementsByClassName("label")[0];
-    let labelTag = this.boxElem.getElementsByClassName("labelTag")[0];
-    let labelAddition = this.boxElem.getElementsByClassName("labelAddition")[0];
+    let border = this.boxElem.getElementsByClassName("ehh-border")[0];
+    let label = this.boxElem.getElementsByClassName("ehh-label")[0];
+    let labelTag = this.boxElem.getElementsByClassName("ehh-labelTag")[0];
+    let labelAddition = this.boxElem.getElementsByClassName("ehh-labelAddition")[0];
 
     if (this.boxElem.parentNode)
       this.boxElem.parentNode.removeChild(this.boxElem);
   
     let doc = this.browser.contentDocument;
     let [wndWidth, wndHeight] = this.getWindowSize(doc.defaultView);
 
     let pos = this.getElementPosition(elem);
     this.boxElem.style.left = Math.min(pos.left - 1, wndWidth - 2) + "px";
     this.boxElem.style.top = Math.min(pos.top - 1, wndHeight - 2) + "px";
     border.style.width = Math.max(pos.right - pos.left - 2, 0) + "px";
     border.style.height = Math.max(pos.bottom - pos.top - 2, 0) + "px";
   
     [labelTag.textContent, labelAddition.textContent] = this.getElementLabel(elem);
   
     // If there is not enough space to show the label move it up a little
     if (pos.bottom < wndHeight - 25)
-      label.className = "label";
+      label.className = "ehh-label";
     else
-      label.className = "label onTop";
+      label.className = "ehh-label onTop";
     
     doc.documentElement.appendChild(this.boxElem);
 
     this.paintNode = doc.defaultView;
     if (this.paintNode)
     {
       this.prevPos = pos;
       this.paintNode.addEventListener("MozAfterPaint", this.onAfterPaint, false);
     }
   },
@@ skipping 354 matching lines @@
     // Show help box
     helpBox.showPopup(this.browser, -1, -1, "tooltip", "topleft", "topleft");
     return true;
   }
 }
 
 // Makes sure event handlers like Aardvark.onKeyPress always have the correct
 // this pointer set.
 for each (let method in ["onMouseClick", "onMouseScroll", "onKeyPress", "onPageHide", "onMouseMove", "onAfterPaint", "quit"])
   Aardvark[method] = Aardvark[method].bind(Aardvark);