зеркало из https://github.com/mozilla/pjs.git
Fix bug 308965 Updates radio button not checked. Patch by Dave Townsend (Mossop) <mossop@blueprintit.co.uk> r=mconnor
This commit is contained in:
Родитель
ae42e49b62
Коммит
d9e72805e1
|
@ -353,6 +353,8 @@
|
|||
setValue(aElement, "checked", val);
|
||||
else if (aElement.localName == "colorpicker")
|
||||
setValue(aElement, "color", val);
|
||||
else if (aElement.localName == "radiogroup")
|
||||
setValue(aElement, "value", val);
|
||||
else if (this.getElementValue(aElement) != val) {
|
||||
// XXXmano Bug 303998: Avoid a caret placement issue if either the
|
||||
// preference observer or its setter calls updateElements as a result
|
||||
|
|
Загрузка…
Ссылка в новой задаче