this.control.readonly = this.accessors.isReadonly(); // If the value has not changed, no need to update the // value of the control, because f.x. that makes the textarea widget // to scroll up. if (this.control.value != this.stringValue) { this.control.value = this.stringValue; } return true; this.control.focus(); return true; if (!aIncremental || this.getAttribute("incremental") == "true") this.accessors.setValue(this.control.value); var value = this.stringValue; if (value == "true" || value == "1") { this.control.value = true; } else { this.control.value = false; } this.control.readonly = this.accessors.isReadonly(); return true; this.control.focus(); return true; this.control.focus(); return true; if (!aIncremental || this.getAttribute("incremental") == "true") { if (this.control.value != "") { this.accessors.setValue("--" + this.control.value); } else { this.accessors.setValue(""); } } this.control.focus(); return true; if (!aIncremental || this.getAttribute("incremental") == "true") { if (this.control.value != "") { this.accessors.setValue("---" + this.control.value); } else { this.accessors.setValue(""); } }