|
|
|---|
|
|
|---|
| 2038 |
var state = commandNode.getAttribute("state"); |
2038 |
var state = commandNode.getAttribute("state"); |
| 2039 |
|
2039 |
|
| 2040 |
button.checked = state == "true"; |
2040 |
button.checked = state == "true"; |
|
|
2041 |
|
| 2042 |
// XXX why doesn't button.checked make the right thing happen here? |
| 2043 |
// Did it ever? |
| 2044 |
button.setAttribute("checked", state); |
| 2041 |
} |
2045 |
} |
| 2042 |
|
2046 |
|
| 2043 |
//-------------------------------------------------------------------- |
2047 |
//-------------------------------------------------------------------- |
|
|
|---|
| 2047 |
var state = commandNode.getAttribute("state"); |
2051 |
var state = commandNode.getAttribute("state"); |
| 2048 |
|
2052 |
|
| 2049 |
button.checked = state == onState; |
2053 |
button.checked = state == onState; |
|
|
2054 |
|
| 2055 |
// XXX why doesn't button.checked make the right thing happen here? |
| 2056 |
// Did it ever? |
| 2057 |
button.setAttribute("checked", state == onState); |
| 2050 |
} |
2058 |
} |
| 2051 |
|
2059 |
|
| 2052 |
|
2060 |
|
|
|
|---|
| 2064 |
if (theButton) |
2072 |
if (theButton) |
| 2065 |
{ |
2073 |
{ |
| 2066 |
theButton.checked = isOn == "true"; |
2074 |
theButton.checked = isOn == "true"; |
|
|
2075 |
|
| 2076 |
// XXX why doesn't button.checked make the right thing happen |
| 2077 |
// here? Did it ever? |
| 2078 |
theButton.setAttribute("checked", isOn); |
| 2067 |
} |
2079 |
} |
| 2068 |
|
2080 |
|
| 2069 |
var theMenuItem = document.getElementById(theStyle + "MenuItem"); |
2081 |
var theMenuItem = document.getElementById(theStyle + "MenuItem"); |