diff -r 000000000000 -r 6474c204b198 toolkit/content/widgets/scale.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/toolkit/content/widgets/scale.xml Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,232 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + if (!this._sliderElement) + this._sliderElement = document.getAnonymousElementByAttribute(this, "anonid", "slider"); + return this._sliderElement; + + + + + 0) + this.value = this.min; + else if (this.max < 0) + this.value = this.max; + ]]> + + + + + + + var value = this._slider.getAttribute(aAttr); + var intvalue = parseInt(value, 10); + if (!isNaN(intvalue)) + return intvalue; + return aDefaultValue; + + + + + + + + this.max) + intvalue = this.max; + } + this._slider.setAttribute(aAttr, intvalue); + } + return aValue; + ]]> + + + + + + startpos) ? newpos : startpos; + ]]> + + + + + + + + + + + startpos) ? newpos : startpos; + ]]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + this._userChanged = true; + this.value = (this.dir == "reverse") ? this.max : this.min; + this._userChanged = false; + + + this._userChanged = true; + this.value = (this.dir == "reverse") ? this.min : this.max; + this._userChanged = false; + + + + +