diff -r 000000000000 -r 6474c204b198 toolkit/content/widgets/numberbox.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/toolkit/content/widgets/numberbox.xml Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,304 @@ + + + + + + + + + + + + + + + + + + + + + false + null + 0 + "." + + + + + + + + + + + + if (this._valueEntered) { + var newval = this.inputField.value; + newval = newval.replace(this.decimalSymbol, "."); + this._validateValue(newval, false); + } + return this._value; + + + this._validateValue(val, false); + return val; + + + + + + + + + + + + + + + var min = this.getAttribute("min"); + return min ? Number(min) : 0; + + + + + + + + + var max = this.getAttribute("max"); + return max ? Number(max) : Infinity; + + + val) + this._validateValue(val, false); + return val; + ]]> + + + + + + var places = this.getAttribute("decimalplaces"); + return places ? Number(places) : 0; + + + if (typeof val == "number") { + this.setAttribute("decimalplaces", val); + this._validateValue(this.valueNumber, false); + } + return val; + + + + + + var increment = this.getAttribute("increment"); + return increment ? Number(increment) : 1; + + + + + + + + + return this._validateValue(this.valueNumber - this.increment, true); + + + + + + return this._validateValue(this.valueNumber + this.increment, true); + + + + + + + + + + + + + + + + + = this.max); + } + ]]> + + + + + + + + max) + aValue = (aIsIncDec && wrapAround ? min : max); + + var places = this.decimalPlaces; + aValue = (places == Infinity) ? "" + aValue : aValue.toFixed(places); + + this._valueEntered = false; + this._value = Number(aValue); + this.inputField.value = aValue.replace(/\./, this.decimalSymbol); + + if (!wrapAround) + this._enableDisableButtons(); + + return aValue; + ]]> + + + + + + var evt = document.createEvent("Events"); + evt.initEvent("change", true, true); + this.dispatchEvent(evt); + + + + + + + + + + this._valueEntered = true; + + + + 57) + event.preventDefault(); + } + ]]> + + + + this._modifyUp(); + + + + this._modifyDown(); + + + + this._modifyUp(); + + + + this._modifyDown(); + + + + if (event.originalTarget == this.inputField) { + var newval = this.inputField.value; + newval = newval.replace(this.decimalSymbol, "."); + this._validateValue(newval, false); + } + + + + + +