public interface PreferenceStoreOptions extends Options
org.eclipse.jface.preference.IPreferenceStore
getPreferenceStore()
fromMap, get, put, toMap
org.eclipse.jface.preference.IPreferenceStore getPreferenceStore()