Searched refs:firebugOptionsMenu (Results 1 – 3 of 3) sorted by relevance
9963 var firebugOptionsMenu = variable10100 Menu.register(firebugOptionsMenu);
2404 var firebugOptionsMenu={id:"fbFirebugOptionsMenu",getItems:function(){var cookiesDisabled=!Firebug.… variable2426 Menu.register(firebugOptionsMenu);
2415 var firebugOptionsMenu={id:"fbFirebugOptionsMenu",getItems:function(){var cookiesDisabled=!Firebug.… variable2437 Menu.register(firebugOptionsMenu);