|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Preferences | |
---|---|
de.tub.citydb.api.plugin.extension.preferences |
Uses of Preferences in de.tub.citydb.api.plugin.extension.preferences |
---|
Methods in de.tub.citydb.api.plugin.extension.preferences that return Preferences | |
---|---|
Preferences |
PreferencesExtension.getPreferences()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |