Class ResourcePreferences
- java.lang.Object
-
- org.eclipse.emf.edapt.history.preferences.ui.ResourcePreferences
-
public final class ResourcePreferences extends Object
Manager of preferences for resources by URI.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static org.eclipse.jface.preference.IPreferenceStore
getPreferences(org.eclipse.emf.common.util.URI uri)
Get the preference store for the resource identified by the given URI.static org.eclipse.jface.preference.IPreferenceStore
getPreferences(org.eclipse.emf.edit.domain.EditingDomain editingDomain)
Get the preference store for the principal resource of an editing domain.
-
-
-
Method Detail
-
getPreferences
public static org.eclipse.jface.preference.IPreferenceStore getPreferences(org.eclipse.emf.edit.domain.EditingDomain editingDomain)
Get the preference store for the principal resource of an editing domain. That principal resource is the history resource, if any, otherwise the resource that is being edited in that domain.- Parameters:
editingDomain
- an editing domain- Returns:
- the preference store for its principal resource
-
getPreferences
public static org.eclipse.jface.preference.IPreferenceStore getPreferences(org.eclipse.emf.common.util.URI uri)
Get the preference store for the resource identified by the given URI.- Parameters:
uri
- the reosurce URI- Returns:
- the preference store for that resource
-
-