rem: BX_dotFocus.style.borderColor='#cccccc'; 
add: BX_dump("BX_focusSpan(" + w_div.nodeName + ")");  if (!(BX_dotFocus) || BX_dotFocus != w_div) {  w_div.setAttribute("bxe_hasfocus","true"); BX_dotFocus.removeAttribute("bxe_hasfocus"); 
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