rem: return; 
add: throw id; 
context: function setEnabled(id, state){    var ele = document.getElementById(id);    if (ele == null)    {        alert("Element id: "+id+" not found.");        return;    }    // If we want to get funky and disable divs and spans by changing the font    // colour or something then we might want to check the element type before    // we make assumptions, but in the mean time ...    // if (isHTMLInputElement(ele)) { ...    ele.disabled = !state;    ele.readonly = !state;    if (is_ie)    {        if (state)        {            ele.style.backgroundColor = "White";        }        else        {            // This is WRONG but the hack will do for now.            ele.style.backgroundColor = "Scrollbar";        }    }}
meta: 266	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/266/fc82149bb2e68e97d207aae04866b3cc689ddcee/util.js/clean/java/uk/ltd/getahead/dwr/util.js