|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProfileManager.KeySet | |
---|---|
org.eclipse.cdt.internal.ui.preferences.formatter |
Uses of ProfileManager.KeySet in org.eclipse.cdt.internal.ui.preferences.formatter |
---|
Methods in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.KeySet | |
---|---|
static boolean |
ProfileManager.hasProjectSpecificSettings(org.eclipse.core.runtime.preferences.IScopeContext context,
ProfileManager.KeySet[] keySets)
|
Constructors in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.KeySet | |
---|---|
ProfileManager(java.util.List profiles,
org.eclipse.core.runtime.preferences.IScopeContext context,
PreferencesAccess preferencesAccess,
IProfileVersioner profileVersioner,
ProfileManager.KeySet[] keySets,
java.lang.String profileKey,
java.lang.String profileVersionKey)
Create and initialize a new profile manager. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |