128         FBL.Env.Options = FBL.extend(FBL.Env.Options, prefs.options || {});
478             var options = fileOptions.split(",");
480             for (var i = 0, length = options.length; i < length; i++)
482                 var option = options[i];
5855     request: function(options)  argument
5866                 options || {}
5932     onStateChange: function(options)
5934         var fn, o = options, t = this.transport;
5959     getResponse: function(options)
5961         var t = this.transport, type = options.dataType;
6502         var options = prefs.options;
6505         for (var name in options)
6507             if (options.hasOwnProperty(name))
6508                 Firebug[name] = options[name];
6518             options: {}  property in FBL.Firebug.savePrefs.prefs
6522         var options = prefs.options;
6527                 options[name] = Firebug[name];
6712     options: {  class in Firebug.Panel
6768         var options = this.options = extend(Firebug.Panel.options, this.options);
6771         if (options.isPreRendered)
6778             if (options.hasToolButtons)
6783             if (options.hasStatusBar)
6827             if (options.hasToolButtons)
6839             if (options.hasStatusBar)
6889         this.options = null;
6917         var options = this.options = extend(Firebug.Panel.options, this.options);
6925         if (options.hasStatusBar)
6931         if (options.hasToolButtons)
6993         if (this.options.innerHTMLSync)
7004         var options = this.options;
7006         if (options.hasStatusBar)
7012         if (options.hasToolButtons)
7027         var options = this.options;
7029         if (options.hasStatusBar)
7035         if (options.hasToolButtons)
7838 FBL.Button = function(options)  argument
7840     options = options || {};
7842     append(this, options);
8178 FBL.Menu = function(options)  argument
8181     if (!options.element)
8183         if (options.getItems)
8184             options.items = options.getItems();
8186         options.element = MenuPlate.tag.append(
8187                 {object: options},
8194     append(this, options);
9392 var createChromeWindow = function(options)  argument
9394     options = extend(WindowDefaultOptions, options || {});
9406         context = options.context || Env.browser,
9410                 options.type,
9537             node.id = options.id;
9581             var options = [
9592                     options
10066                 var options = getElementsByClass(target.parentNode, "fbMenuOption");
10068                 var firstOption = options[0];
10076                     Menu.check(options[0]);
10078                     Menu.uncheck(options[0]);
10080                 for (var i = 1, length = options.length; i < length; i++)
10082                     var option = options[i];
10589             if (panel.options.innerHTMLSync)
10720         var options = panel.options;
10722         changeCommandLineVisibility(options.hasCommandLine);
10736             if (chrome.selectedPanel.options.hasCommandLine)
10780             if (Firebug.chrome.selectedPanel.options.hasCommandLine)
22349     options:
24520     options: {
27270     options:
28852     options: {
28917         var option = select.options[select.selectedIndex];
28931         var option = select.options[index];
30273     options: {
30765     options: {
31028     options: {