var _____WB$wombat$assign$function_____ = function(name) {return (self._wb_wombat && self._wb_wombat.local_init && self._wb_wombat.local_init(name)) || self[name]; }; if (!self.__WB_pmw) { self.__WB_pmw = function(obj) { this.__WB_source = obj; return this; } } { let window = _____WB$wombat$assign$function_____("window"); let self = _____WB$wombat$assign$function_____("self"); let document = _____WB$wombat$assign$function_____("document"); let location = _____WB$wombat$assign$function_____("location"); let top = _____WB$wombat$assign$function_____("top"); let parent = _____WB$wombat$assign$function_____("parent"); let frames = _____WB$wombat$assign$function_____("frames"); let opener = _____WB$wombat$assign$function_____("opener"); var edButtons = new Array(); edButtons[edButtons.length] = new edButton('ed_strong' ,'str' ,'' ,'' ,'b' ); edButtons[edButtons.length] = new edButton('ed_em' ,'em' ,'' ,'' ,'i' ); edButtons[edButtons.length] = new edButton('ed_link' ,'link' ,'' ,'' ,'a' ); // special case edButtons[edButtons.length] = new edButton('ed_block' ,'b-quote' ,'
' ,'' ,'q' ); edButtons[edButtons.length] = new edButton('ed_pre' ,'code' ,'
'
,'
'
,'c'
);
edButtons[edButtons.length] =
new edButton('ed_strike'
,'strike'
,'