bundles/org.eclipse.orion.client.ui/web/orion/settings/ui/PluginSettings.js
function SettingsListExplorer(serviceRegistry, categoryTitle) {
		Explorer.call(this, serviceRegistry, undefined, new SettingsRenderer(this, serviceRegistry));
		this.categoryTitle = categoryTitle;
	}
function SettingsListExplorer(serviceRegistry, categoryTitle) {
		Explorer.call(this, serviceRegistry, undefined, new SettingsRenderer(this, serviceRegistry));
		this.categoryTitle = categoryTitle;
	}
function SettingsListExplorer ( serviceRegistry , categoryTitle ) { Explorer . call ( this , serviceRegistry , undefined , new SettingsRenderer ( this , serviceRegistry ) ) ; this . categoryTitle = categoryTitle ; }
Explorer for SettingsList.
Explorer for SettingsList .