|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ProfileManager.CustomProfile | |
---|---|
org.eclipse.cdt.internal.ui.preferences.formatter |
Uses of ProfileManager.CustomProfile in org.eclipse.cdt.internal.ui.preferences.formatter |
---|
Subclasses of ProfileManager.CustomProfile in org.eclipse.cdt.internal.ui.preferences.formatter | |
---|---|
static class |
ProfileManager.SharedProfile
|
Methods in org.eclipse.cdt.internal.ui.preferences.formatter that return ProfileManager.CustomProfile | |
---|---|
ProfileManager.CustomProfile |
CreateProfileDialog.getCreatedProfile()
|
Methods in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.CustomProfile | |
---|---|
void |
ProfileManager.addProfile(ProfileManager.CustomProfile profile)
Add a new custom profile to this profile manager. |
boolean |
ProfileManager.deleteProfile(ProfileManager.CustomProfile profile)
|
static int |
ProfileVersioner.getVersionStatus(ProfileManager.CustomProfile profile)
|
void |
ProfileManager.profileChanged(ProfileManager.CustomProfile profile)
|
void |
ProfileManager.profileRenamed(ProfileManager.CustomProfile profile,
java.lang.String oldID)
|
void |
ProfileManager.profileReplaced(ProfileManager.CustomProfile oldProfile,
ProfileManager.CustomProfile newProfile)
|
void |
ProfileVersioner.update(ProfileManager.CustomProfile profile)
|
void |
IProfileVersioner.update(ProfileManager.CustomProfile profile)
Update the profile to the
current version number |
static void |
ProfileVersioner.updateAndComplete(ProfileManager.CustomProfile profile)
|
Constructors in org.eclipse.cdt.internal.ui.preferences.formatter with parameters of type ProfileManager.CustomProfile | |
---|---|
AlreadyExistsDialog(org.eclipse.swt.widgets.Shell parentShell,
ProfileManager.CustomProfile profile,
ProfileManager profileManager)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |