rem: caption = h.enabled ? "Debug Messages (ON)" : "Debug Messages (OFF)"; document.getElementById("menu-dmessages").setAttribute ("value", caption); 
add: document.getElementById("menu-dmessages").setAttribute ("checked", h.enabled); 
context: function onToggleTraceHook(){    var h = client.eventPump.getHook ("event-tracer");    var caption;        h.enabled = !h.enabled;    caption = h.enabled ? "Debug Messages (ON)" : "Debug Messages (OFF)";        document.getElementById("menu-dmessages").setAttribute ("value", caption);    }   
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/9af3ae8ecad07eb84fef942a41138748210f6143/test3-handlers.js/buggy/xul/tests/test3-handlers.js