|
Public Member Functions |
|
void | Refresh () |
|
String | getPreference (int parameter) |
|
String | getDescription (int parameter) |
|
void | setPreference (int parameter, String value) |
|
int | getNoPreferences () |
|
void | readpreferencesFile () |
|
void | writepreferencesFile () |
Static Public Member Functions |
|
PreferencesInterface | getInstance () |
Public Attributes |
|
File | preferencesFile = new File(System.getProperty("user.home"),"guiprefs.dat") |
Static Public Attributes |
|
final int | INSTITUTE = 0 |
|
final int | UPLOAD_DIR = 1 |
|
final int | PSVIEWER = 2 |
|
final int | SCRATCH_DIR = 3 |
