Modifier and Type | Class and Description |
---|---|
class |
GridPreferencesStore |
class |
MultiGridPreferencesStore |
class |
UserWorkbenchPreferences |
Modifier and Type | Method and Description |
---|---|
UserPreference |
UserPreferencesService.loadUserPreferences(String key,
UserPreferencesType type) |
UserPreference |
UserPreferencesService.loadUserPreferences(UserPreference preferences) |
Modifier and Type | Method and Description |
---|---|
UserPreference |
UserPreferencesService.loadUserPreferences(UserPreference preferences) |
void |
UserPreferencesService.saveUserPreferences(UserPreference preferences) |
Copyright © 2012–2020 JBoss by Red Hat. All rights reserved.