|
VdexReload 1.1.3 API | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectuk.ac.reload.dweezil.prefs.UserPrefs
uk.ac.reload.ldeditor.prefs.LDEditorPrefs
The User Prefs file. Implementers will have to fulfil the abstract methods
Field Summary | |
static java.lang.String |
GENERAL_HISTORY
|
static java.lang.String |
GENERAL_PREFS_DEFAULT_FOLDER
|
static java.lang.String |
GENERAL_PREFS_LF
|
static java.lang.String |
USER_PREFS_ELEMENTNAME
The Reload Prefs root element name |
static java.lang.String |
USER_PREFS_FILENAME
The Reload Prefs Filename |
Fields inherited from class uk.ac.reload.dweezil.prefs.UserPrefs |
_doc |
Constructor Summary | |
LDEditorPrefs()
|
Method Summary | |
void |
addFileToHistory(java.io.File file)
Add a new entry to the Recent File list, or if already present move to front of list, and limit to 8 entries if need be |
java.lang.String |
getElementRootName()
|
java.lang.String[] |
getFileHistory()
|
static LDEditorPrefs |
getInstance()
|
java.io.File |
getPrefsFile()
Get the Preferences File (for example from, c:/winnt/profiles/user/reload/reload_prefs.xml) |
protected void |
setDefaultValues()
Set some default values |
Methods inherited from class uk.ac.reload.dweezil.prefs.UserPrefs |
createNewPrefsFile, getBooleanValue, getValue, load, putBooleanValue, putValue, removeValue, save |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String GENERAL_PREFS_DEFAULT_FOLDER
public static final java.lang.String GENERAL_PREFS_LF
public static final java.lang.String GENERAL_HISTORY
public static final java.lang.String USER_PREFS_FILENAME
public static final java.lang.String USER_PREFS_ELEMENTNAME
Constructor Detail |
public LDEditorPrefs()
Method Detail |
public static LDEditorPrefs getInstance()
protected void setDefaultValues()
setDefaultValues
in class UserPrefs
public java.io.File getPrefsFile()
UserPrefs
getPrefsFile
in class UserPrefs
public java.lang.String getElementRootName()
getElementRootName
in class UserPrefs
public java.lang.String[] getFileHistory()
public void addFileToHistory(java.io.File file)
|
VdexReload 1.1.3 API | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |