docs: function(launchConfigurations) {
  			if (launchConfigurations) {
  				this._enableLaunchConfigurationsDropdown();
  				launchConfigurations.sort(function(launchConf1, launchConf2) {
  					return launchConf1.Name.localeCompare(launchConf2.Name);
  				});
  			} else {
  				this._disableLaunchConfigurationsDropdown();
  			}
  			
  			this._cacheLaunchConfigurations(launchConfigurations);
  			
  			if (launchConfigurations && launchConfigurations[0]) {
  				// select first launch configuration
  				var hash = this._getHash(launchConfigurations[0]);
  				var cachedConfig = this._cachedLaunchConfigurations[hash];
  				this.selectLaunchConfiguration(cachedConfig, true);
  			} else {
  				this.selectLaunchConfiguration(null);
  			}
  		}