|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProfileManager.Profile | |
---|---|
org.eclipse.cdt.internal.ui.preferences.formatter |
Uses of ProfileManager.Profile in org.eclipse.cdt.internal.ui.preferences.formatter |
---|
Subclasses of ProfileManager.Profile in org.eclipse.cdt.internal.ui.preferences.formatter | |
---|---|
static class |
ProfileManager.BuiltInProfile
Represents a built-in profile. |
static class |
ProfileManager.CustomProfile
Represents a user-defined profile. |
static class |
ProfileManager.SharedProfile
|
Methods in org.eclipse.cdt.internal.ui.preferences.formatter that return ProfileManager.Profile | |
---|---|
abstract ProfileManager.Profile |
ProfileManager.getDefaultProfile()
|
ProfileManager.Profile |
FormatterProfileManager.getDefaultProfile()
|
ProfileManager.Profile |
ProfileManager.getProfile(java.lang.String ID)
Get the profile for this profile id. |
ProfileManager.Profile |
ProfileManager.getSelected()
Get the currently selected profile. |
abstract ProfileManager.Profile |
ProfileManager.Profile.rename(java.lang.String name,
ProfileManager manager)
|
ProfileManager.Profile |
ProfileManager.BuiltInProfile.rename(java.lang.String name,
ProfileManager manager)
|
ProfileManager.Profile |
ProfileManager.CustomProfile.rename(java.lang.String name,
ProfileManager manager)
|
ProfileManager.Profile |
ProfileManager.SharedProfile.rename(java.lang.String name,
ProfileManager manager)
|
Methods in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.Profile | |
---|---|
java.util.Map |
ProfileManager.readFromPreferenceStore(org.eclipse.core.runtime.preferences.IScopeContext context,
ProfileManager.Profile workspaceProfile)
Only to read project specific settings to find out to what profile it matches. |
void |
ProfileManager.setSelected(ProfileManager.Profile profile)
Set the selected profile. |
Constructors in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.Profile | |
---|---|
FormatterModifyDialog(org.eclipse.swt.widgets.Shell parentShell,
ProfileManager.Profile profile,
ProfileManager profileManager,
ProfileStore profileStore,
boolean newProfile,
java.lang.String dialogPreferencesKey,
java.lang.String lastSavePathKey)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |