Uses of Class
prantl.ant.eclipse.SettingsElement

Uses of SettingsElement in prantl.ant.eclipse

Methods in prantl.ant.eclipse that return SettingsElement

SettingsElement	EclipseTask.createSettings() Adds a definition of the settings element.
SettingsElement	EclipseElement.getSettings()

Methods in prantl.ant.eclipse with parameters of type SettingsElement

void	EclipseElement.setSettings(SettingsElement element)

Constructors in prantl.ant.eclipse with parameters of type SettingsElement

GeneralPreferencesElement(SettingsElement parent)
Creates a new instance of the element for a general preferences under the settings element.

OrgEclipseCoreResourcesPreferencesElement(SettingsElement parent)
Creates a new instance of the element for the file with preferences for org.eclipse.core.resources.

OrgEclipseCoreRuntimePreferencesElement(SettingsElement parent)
Creates a new instance of the element for the file with preferences for org.eclipse.core.runtime.

OrgEclipseJdtCorePreferencesElement(SettingsElement parent)
Creates a new instance of the element for the file with preferences for org.eclipse.jdt.core.

OrgEclipseJdtUiPreferencesElement(SettingsElement parent)
Creates a new instance of the element for the file with preferences for org.eclipse.jdt.ui.