|
|
|---|
|
|
|---|
| 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 |
//-------------------------------------------------------------------- |