Uses of Interface
de.tub.citydb.api.plugin.extension.preferences.Preferences

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()