rem: if (BX_debugging) { BX_dump("BX_updateButtonsDelayed()"); } 
context: function BX_updateButtonsDelayed() {	if (BX_debugging) {		BX_dump("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/ffb59be12713348724e09814524fa70b5200d06e/bitfluxeditor_core.js/buggy/src/webapp/lenya/resources/misc/bitflux/bxe/js/bitfluxeditor_core.js