|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GeneralPreferences | |
de.uni_paderborn.fujaba.preferences |
Uses of GeneralPreferences in de.uni_paderborn.fujaba.preferences |
Fields in de.uni_paderborn.fujaba.preferences declared as GeneralPreferences | |
private static GeneralPreferences |
GeneralPreferences.theOptionsGeneral
This is the singleton instance. |
Methods in de.uni_paderborn.fujaba.preferences that return GeneralPreferences | |
static GeneralPreferences |
GeneralPreferences.get()
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |