rem: BX_update_buttons = true; window.setTimeout("BX_updateButtonsDelayed()",10); 
add: if (!BX_no_events) { BX_update_buttons = true; window.setTimeout("BX_updateButtonsDelayed()",10); var _node = window.getSelection().anchorNode; _node.target = _node; BX_focusSpan(_node); BX_dump("window.setTimeout(BX_updateButtonsDelayed()) in BX_onkeyup");  } e.preventDefault(); e.stopPropagation(); 
context: function BX_onkeyup(e){    switch (e.keyCode)    {    case e.DOM_VK_UP:    case e.DOM_VK_DOWN:    case e.DOM_VK_LEFT:    case e.DOM_VK_RIGHT:    case e.DOM_VK_DELETE:    case e.DOM_VK_BACK_SPACE:        BX_update_buttons = true;        window.setTimeout("BX_updateButtonsDelayed()",10);    }}
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