1601 …!",parentPanel:null,options:{hasCommandLine:false,hasStatusBar:false,hasToolButtons:false,isPreRen…  property in Firebug.Panel.options
1611 if(options.hasToolButtons){this.toolButtonsNode=$(panelId+"Buttons")
1623 if(options.hasToolButtons){this.toolButtonsNode=createElement("span",{id:panelId+"Buttons",classNam…
1652 }if(options.hasToolButtons){this.toolButtonsNode=$(panelId+"Buttons")
1670 }if(options.hasToolButtons){this.toolButtonsNode.style.display="inline"
1677 }if(options.hasToolButtons){this.toolButtonsNode.style.display="none"
5773 }}},name:"Console",title:"Console",options:{hasCommandLine:true,hasToolButtons:true,isPreRendered:t…
7238 …ue,dependents:["css","stylesheet","dom","domSide","layout"],options:{hasToolButtons:true},create:f…
7660 …,{name:"Script",title:"Script",selectIndex:0,sourceIndex:-1,options:{hasToolButtons:true},create:f…
8005 }}},name:"DOM",title:"DOM",searchable:true,statusSeparator:">",options:{hasToolButtons:true,hasStat…
8132 }}},name:"DOMSidePanel",parentPanel:"HTML",title:"DOM",options:{hasToolButtons:true},isInitialized:…
8211 ….prototype=extend(Firebug.Panel,{name:"Trace",title:"Trace",options:{hasToolButtons:true,innerHTML…