Package | Description |
---|---|
org.eclipse.ant.core |
Provides support for running the Ant build tool in the platform.
|
org.eclipse.core.runtime |
Provides support for the runtime platform, core utility methods and the extension registry.
|
org.eclipse.ui.editors.text |
Provides a standard text editor and concrete document providers based
IFileBuffer and others directly handling IFile and
IStorage as editor input.
|
Modifier and Type | Method and Description |
---|---|
protected Property[] |
AntCorePreferences.extractProperties(Preferences prefs,
String[] properties) |
protected Task[] |
AntCorePreferences.extractTasks(Preferences prefs,
String[] tasks) |
protected Type[] |
AntCorePreferences.extractTypes(Preferences prefs,
String[] types) |
protected void |
AntCorePreferences.updateAdditionalEntries(Preferences prefs) |
protected void |
AntCorePreferences.updateAntHomeEntries(Preferences prefs) |
protected void |
AntCorePreferences.updateProperties(Preferences prefs) |
protected void |
AntCorePreferences.updatePropertyFiles(Preferences prefs) |
protected void |
AntCorePreferences.updateTasks(Preferences prefs) |
protected void |
AntCorePreferences.updateTypes(Preferences prefs) |
Modifier and Type | Method and Description |
---|---|
Preferences |
Plugin.getPluginPreferences()
Deprecated.
Replaced by
IEclipsePreferences . Preferences are now stored according
to scopes in the IPreferencesService . The return value of this method corresponds to
a combination of the InstanceScope and the DefaultScope . To set preferences
for your plug-in, use new InstanceScope().getNode(<&yourPluginId>). To set default
preferences for your plug-in, use new DefaultScope().getNode(<yourPluginId>).
To lookup an integer preference value for your plug-in, use
Platform.getPreferencesService().getInt(<yourPluginId>, <preferenceKey>, <defaultValue>, null).
Similar methods exist on IPreferencesService for obtaining other kinds
of preference values (strings, booleans, etc). |
Modifier and Type | Method and Description |
---|---|
static Preferences |
EditorsUI.getPluginPreferences()
Deprecated.
As of 3.5, replaced by
EditorsUI.getPreferenceStore() |
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.