| H A D | script.js | 19 function indexmenu_createTocMenu(get,picker,btn) { argument
29 indexmenu_ajaxmenu(get,toc_picker,$(btn),toc_picker.childNodes[1]);
32 function indexmenu_ajaxmenu(get,picker,btn,container,oncomplete) { argument
39 if (!indexmenu_showPicker(picker,btn)) return;
72 function indexmenu_showPicker(pickerid,btn){ argument
75 x += findPosX(btn);
76 y += findPosY(btn);
78 x += btn.offsetWidth-3;
80 y += btn.offsetHeight;
|