this.getElementsByTagName("toolbarpalette").item(0); 20 ? boxObject.height : 23; var height = boxObject.width > 10 ? boxObject.width : 12; var styleString = "width: " + width + "px; height: " + height + "px;"; collapsedGrippy.setAttribute("style", styleString); collapsedGrippy.setAttribute("tooltiptext", aToolbar.getAttribute("grippytooltiptext")); collapsedGrippy.setAttribute("id", "moz_tb_collapsed_" + aToolbar.id); collapsedGrippy.setAttribute("moz_grippy_collapsed", "true"); collapsedGrippy.setAttribute("tbgrippy-collapsed", "true"); var collapsedTrayHolder = document.getAnonymousElementByAttribute(this, "tbattr", "collapsed-tray-holder"); if (collapsedTrayHolder.getAttribute("moz-collapsed") == "true") collapsedTrayHolder.removeAttribute("moz-collapsed"); document.getAnonymousElementByAttribute(this, "tbattr", "collapsed-tray").appendChild(collapsedGrippy); } } ]]> this.prefs.removeObserver(this.domain, this); "browser.chrome.toolbar_style" Cc["@mozilla.org/preferences-service;1"] .getService(Ci.nsIPrefService).getBranch(null) true return this.hasAttribute("moz_grippy_collapsed"); if (val) this.setAttribute("moz_grippy_collapsed", "true"); else this.removeAttribute("moz_grippy_collapsed"); return val;