rem: function BX_updateButtonsDelayed() { if (BX_update_buttons) { 
add: function BX_updateButtonsDelayed() { if (BX_debugging) { BX_dump("BX_updateButtonsDelayed()"); }  if (BX_update_buttons) { 
context: function BX_updateButtonsDelayed(){    if (BX_update_buttons)    {        BX_get_selection();        BX_updateButtons();        BX_update_buttons = false;    }}
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