Lines Matching refs:option

169 i++){var option=options[i];
171 if(option.indexOf("=")!=-1){var parts=option.split("=");
174 }else{name=option;
1519 if(Firebug.disableResourceFetching){Firebug.Console.logFormatted(['Some Firebug Lite features are not working because resource fetching is disabled. To enabled it set the Firebug Lite option "disableResourceFetching" to "false". More info at http://getfirebug.com/firebuglite#Options'],Firebug.context,"warn")
2429 i++){var option=options[i];
2430 var value=option.getAttribute("value");
2432 if(pref){Menu.check(option)
2433 }else{Menu.uncheck(option)
2434 }if(enabled){Menu.enable(option)
2435 }else{Menu.disable(option)
2964 Firebug.Lite.Proxy.fetchResourceDisabledMessage='/* Firebug Lite resource fetching is disabled.\nTo enabled it set the Firebug Lite option "disableResourceFetching" to "false".\nMore info at http://getfirebug.com/firebuglite#Options */';
4180 }}defineTags("a","button","br","canvas","code","col","colgroup","div","fieldset","form","h1","h2","h3","hr","img","input","label","legend","li","ol","optgroup","option","p","pre","select","span","strong","table","tbody","td","textarea","tfoot","th","thead","tr","tt","ul","iframe")
7067 var CSSPropTag=domplate(CSSDomplateBase,{tag:DIV({"class":"cssProp focusRow",$disabledStyle:"$prop.disabled",$editGroup:"$rule|isEditable",$cssOverridden:"$prop.overridden",role:"option"},A({"class":"cssPropDisable"},"  "),SPAN({"class":"cssPropName",$editable:"$rule|isEditable"},"$prop.name"),SPAN({"class":"cssColon"},":"),SPAN({"class":"cssPropValue",$editable:"$rule|isEditable"},"$prop.value$prop.important"),SPAN({"class":"cssSemi"},";"))});
7257 var option=createElement("option",{value:key});
7258 option.appendChild(Firebug.chrome.document.createTextNode(fileName));
7259 selectNode.appendChild(option)
7680 var option=createElement("option",{value:i});
7681 option.appendChild(Firebug.chrome.document.createTextNode(fileName));
7682 selectNode.appendChild(option)
7697 var option=select.options[select.selectedIndex];
7698 if(!option){return
7699 }var selectedSourceIndex=parseInt(option.value);
7703 var option=select.options[index];
7704 if(!option){return
7705 }var selectedSourceIndex=parseInt(option.value);