Saros
Distributed Collaborative Editing and Distributed Party Programming
|
Public Member Functions | |
EclipsePreferences (org.eclipse.jface.preference.IPreferenceStore store) |
Eclipse implementation of the Preferences, that wraps a org.eclipse.jface.preference.IPreferenceStore in an EclipsePreferenceStoreAdapter.
Preferences that are custom to Eclipse may be defined here.
de.fu_berlin.inf.dpp.preferences.EclipsePreferences.EclipsePreferences | ( | org.eclipse.jface.preference.IPreferenceStore | store | ) |