Modifier and Type | Method and Description |
---|---|
SettingsElement |
EclipseTask.createSettings()
Adds a definition of the settings element.
|
SettingsElement |
EclipseElement.getSettings() |
Modifier and Type | Method and Description |
---|---|
void |
EclipseElement.setSettings(SettingsElement element) |
Constructor and Description |
---|
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.
|