diff -r 061d3ab4cc54 chrome/content/bindings.xml --- a/chrome/content/bindings.xml Thu Nov 05 17:02:22 2009 -0500 +++ b/chrome/content/bindings.xml Fri Nov 06 05:38:37 2009 +0100 @@ -46,17 +46,17 @@ - + @@ -636,17 +636,17 @@ - + @@ -870,16 +870,127 @@ func.call(this, event); } ]]> + + + + + + + + + + + + + + + + false + document.getAnonymousElementByAttribute(this, "anonid", "hscroller"); + document.getAnonymousElementByAttribute(this, "anonid", "vscroller"); + + 0 + + 0) ? window.innerWidth - (rect.width - rect.left) : 0; + this._hscroller.left = rect.width - offset - 8; + this._vscroller.top = rect.height - 8; + + this._hscroller.height = Math.max(50 * ((rect.height / h.value) * 8), 20); + this._hscroller.hidden = (rect.height == h.value); + + this._vscroller.width = Math.max(50 * ((rect.width / w.value) * 8), 20); + this._vscroller.hidden = (rect.width == w.value); + + // xxx do clean up here + this._boxHeight = rect.height - this._hscroller.height; + this._boxScaleH = h.value - rect.height; + this._boxWidth = rect.width - this._vscroller.width; + this._boxScaleW = w.value - rect.width; + + let self = this; + this._interval = setInterval(function() { + if (Date.now() > self._timestamp) + self.hideScrollers(); + }, 1000); + this.visible = true; + //} + + //let end = Date.now(); + //dump("hidden start: " + (end - start) + "\n"); + ]]> + + + + + + + + + document.getAnonymousElementByAttribute(this, "anonid", "scrollbox"); + + + + + + + null + + + + + + + diff -r 061d3ab4cc54 chrome/content/browser.css --- a/chrome/content/browser.css Thu Nov 05 17:02:22 2009 -0500 +++ b/chrome/content/browser.css Fri Nov 06 05:38:37 2009 +0100 @@ -89,16 +89,21 @@ menulist { -moz-binding: url("chrome://browser/content/bindings.xml#menulist"); } #select-list > option { -moz-binding: url("chrome://browser/content/bindings.xml#chrome-select-option"); } /* richlist defaults ------------------------------------------------------- */ +[pannable="true"] > scrollbox, +scrollbox[pannable="true"] { + -moz-binding: url("chrome://browser/content/bindings.xml#scrollbox"); +} + richlistitem { -moz-binding: url("chrome://browser/content/bindings.xml#richlistitem"); } richlistitem[typeName="local"] { -moz-binding: url("chrome://browser/content/bindings/extensions.xml#extension-local"); } diff -r 061d3ab4cc54 chrome/content/browser.xul --- a/chrome/content/browser.xul Thu Nov 05 17:02:22 2009 -0500 +++ b/chrome/content/browser.xul Fri Nov 06 05:38:37 2009 +0100 @@ -231,17 +231,17 @@ - + - +