rem: function BX_focusSpan (w_div ) { if (!(BX_dotFocus) || BX_dotFocus != w_div) { w_div.style.borderColor='#000000'; 
add: function BX_focusSpan (w_div,isNode) { if (!isNode) { var w_div= BX_find_bitfluxspanNode(w_div.target); } 
context: function BX_focusSpan (w_div ){    if (!(BX_dotFocus) || BX_dotFocus != w_div)    {        w_div.style.borderColor='#000000';        BX_dotFocus.style.borderColor='#cccccc';        BX_dotFocus=w_div;    }}
meta: 791	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/791/23e4752e13536f63516c1ece4dd47e95e4cd7f52/bitfluxeditor_core.js/clean/src/webapp/lenya/resources/misc/bitflux/bxe/js/bitfluxeditor_core.js