public final class ResourcePreferences extends Object
Modifier and Type | Method and Description |
---|---|
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.
|
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.
|
public static org.eclipse.jface.preference.IPreferenceStore getPreferences(org.eclipse.emf.edit.domain.EditingDomain editingDomain)
editingDomain
- an editing domainpublic static org.eclipse.jface.preference.IPreferenceStore getPreferences(org.eclipse.emf.common.util.URI uri)
uri
- the reosurce URICopyright © 2020. All rights reserved.