|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |