|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpl.edu.agh.cast.project.UserPreferences
public class UserPreferences
Contains global user preferences.
Nested Class Summary | |
---|---|
static class |
UserPreferences.Pref
Enumeration of user preferences. |
Constructor Summary | |
---|---|
UserPreferences()
|
Method Summary | |
---|---|
void |
changeMostRecentlyProjectName(org.eclipse.core.resources.IProject project,
String newName)
Changes MRU project name. |
static UserPreferences |
getInstance()
Returns single, shared instance of UserPreferences . |
List<MostRecentlyUsedProject> |
getMostRecentlyUsedProjects()
Returns a list of MRU projects. |
String |
getPreference(UserPreferences.Pref pref)
Returns the value of given preference. |
void |
initializeDefaults()
Initializes default preference values. |
void |
registerMostRecentlyUsedProject(org.eclipse.core.resources.IProject p)
MRU projects are kept in the preferences in the following form |
void |
removeMRUProject(String name)
Removes project from Most Recently Used (MRU) list. |
void |
setPreference(UserPreferences.Pref pref,
String val)
Sets the value of given preference. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public UserPreferences()
Method Detail |
---|
public static UserPreferences getInstance()
UserPreferences
.
UserPreferences
public void removeMRUProject(String name)
name
- name of the projectpublic List<MostRecentlyUsedProject> getMostRecentlyUsedProjects()
public void changeMostRecentlyProjectName(org.eclipse.core.resources.IProject project, String newName)
project
- Project with old name.newName
- Future new name of project.public void registerMostRecentlyUsedProject(org.eclipse.core.resources.IProject p)
MRU |_ order |_ 0 = project_name0 |_ 1 = project_name1 ... |_ n = project_namen |_ #project_name0 |_ 0 = most_recent_location |_ 1 = older_location ... |_ n = oldest_location |_ #project_name1 ... ...
p
- project to set as most recently usedpublic void setPreference(UserPreferences.Pref pref, String val)
pref
- preferenceval
- the valuepublic String getPreference(UserPreferences.Pref pref)
pref
- preference
public void initializeDefaults()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |