public final class EditorsUI extends Object
Modifier and Type | Field and Description |
---|---|
static int |
CHARSET_MAPPING_FAILED
Editor UI plug-in status code indicating that an operation failed
because a character could not be mapped using the given
charset.
|
static String |
DEFAULT_TEXT_EDITOR_ID
The ID of the default text editor.
|
static String |
PLUGIN_ID
TextEditor Plug-in ID (value
"org.eclipse.ui.editors" ). |
Modifier and Type | Method and Description |
---|---|
static AnnotationPreferenceLookup |
getAnnotationPreferenceLookup()
Returns the annotation preference lookup of this plug-in.
|
static AnnotationTypeLookup |
getAnnotationTypeLookup()
Returns the annotation type lookup of this plug-in.
|
static Preferences |
getPluginPreferences()
Returns the preferences of this plug-in.
|
static IPreferenceStore |
getPreferenceStore()
Returns the preference store of this plug-in.
|
static ISharedTextColors |
getSharedTextColors()
Returns the shared text colors of this plug-in.
|
static SpellingService |
getSpellingService()
Returns the spelling service.
|
static void |
useAnnotationsPreferencePage(IPreferenceStore store)
Removes all preference which are handled by this plug-in's
general preference pages from the given store and prevents
setting the default values in the future.
|
static void |
useQuickDiffPreferencePage(IPreferenceStore store)
Removes all preference which are handled by this plug-in's
Quick Diff preference page from the given store and prevents
setting the default values in the future.
|
public static final String PLUGIN_ID
"org.eclipse.ui.editors"
).public static final String DEFAULT_TEXT_EDITOR_ID
public static final int CHARSET_MAPPING_FAILED
Value: 1
UnmappableCharacterException
,
Constant Field Valuespublic static AnnotationTypeLookup getAnnotationTypeLookup()
public static AnnotationPreferenceLookup getAnnotationPreferenceLookup()
public static IPreferenceStore getPreferenceStore()
public static void useAnnotationsPreferencePage(IPreferenceStore store)
To access the
general preference from another plug-in use a
ChainedPreferenceStore
:
List stores= new ArrayList(3); stores.add(YourPlugin.getDefault().getPreferenceStore()); stores.add(EditorsUI.getPreferenceStore()); combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
Note: In order to work this method must be called before the store's default values are set.
store
- the preference store to markpublic static void useQuickDiffPreferencePage(IPreferenceStore store)
To access the
general preference from another plug-in use a
ChainedPreferenceStore
:
List stores= new ArrayList(3); stores.add(YourPlugin.getDefault().getPreferenceStore()); stores.add(EditorsUI.getPreferenceStore()); combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
Note: In order to work this method must be called before the store's default values are set.
store
- the preference store to markpublic static Preferences getPluginPreferences()
Plugin.getPluginPreferences()
public static SpellingService getSpellingService()
public static ISharedTextColors getSharedTextColors()
Guidelines for using Eclipse APIs. Copyright (c) IBM Corp. and others 2000, 2006. All rights reserved.