|
||||||||||
| 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.
UserPreferencespublic 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 used
public 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 | |||||||||