// does not hold stored values for the given preferences
getPreferenceStore().setDefault(PALETTE_DOCK_LOCATION, -1);
getPreferenceStore().setDefault(PALETTE_STATE, -1);
getPreferenceStore().setDefault(PALETTE_SIZE, DEFAULT_PALETTE_SIZE);
return new FlyoutPreferences() {
public int getDockLocation() {
return getPreferenceStore().getInt(PALETTE_DOCK_LOCATION);
}
public int getPaletteState() {