|
|
|---|
|
|
|---|
| 1969 |
var commandNode = document.getElementById(commmandID); |
1969 |
var commandNode = document.getElementById(commmandID); |
| 1970 |
var state = commandNode.getAttribute("state"); |
1970 |
var state = commandNode.getAttribute("state"); |
| 1971 |
button.checked = state == "true"; |
1971 |
button.checked = state == "true"; |
| 1972 |
|
|
|
| 1973 |
// XXX why doesn't button.checked make the right thing happen here? |
| 1974 |
// Did it ever? |
| 1975 |
button.setAttribute("checked", state); |
| 1976 |
} |
1972 |
} |
| 1977 |
|
1973 |
|
| 1978 |
//-------------------------------------------------------------------- |
1974 |
//-------------------------------------------------------------------- |
|
|
|---|
| 1982 |
var state = commandNode.getAttribute("state"); |
1978 |
var state = commandNode.getAttribute("state"); |
| 1983 |
|
1979 |
|
| 1984 |
button.checked = state == onState; |
1980 |
button.checked = state == onState; |
| 1985 |
|
|
|
| 1986 |
// XXX why doesn't button.checked make the right thing happen here? |
| 1987 |
// Did it ever? |
| 1988 |
button.setAttribute("checked", state == onState); |
| 1989 |
} |
1981 |
} |
| 1990 |
|
1982 |
|
| 1991 |
// --------------------------- Status calls --------------------------- |
1983 |
// --------------------------- Status calls --------------------------- |