blob: 76495af04acad02d241ffb5d7ad4e03a8c540dd4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
/*******************************************************************************
* Copyright (c) 2000, 2003 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Common Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/cpl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.ui.editors.text;
import org.eclipse.core.runtime.Preferences;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.ui.internal.editors.text.EditorsPlugin;
import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
import org.eclipse.ui.texteditor.AnnotationPreferenceLookup;
import org.eclipse.ui.texteditor.AnnotationTypeLookup;
import org.eclipse.ui.texteditor.MarkerAnnotationPreferences;
/**
* The central class for access to this plug-in.
* This class cannot be instantiated; all functionality is provided by
* static methods.
*
* @since 3.0
*/
public final class EditorsUI {
/**
* TextEditor Plug-in ID (value <code>"org.eclipse.ui.editors"</code>).
*/
public static final String PLUGIN_ID= "org.eclipse.ui.editors"; //$NON-NLS-1$
/**
* The ID of the default text editor.
*/
public static final String DEFAULT_TEXT_EDITOR_ID = "org.eclipse.ui.DefaultTextEditor"; //$NON-NLS-1$
/**
* Returns the annotation type lookup of this plug-in.
*
* @return the annotation type lookup
*/
public static AnnotationTypeLookup getAnnotationTypeLookup() {
return EditorsPlugin.getDefault().getAnnotationTypeLookup();
}
/**
* Returns the annotation preference lookup of this plug-in.
*
* @return the annotation preference lookup
*/
public static AnnotationPreferenceLookup getAnnotationPreferenceLookup() {
return EditorsPlugin.getDefault().getAnnotationPreferenceLookup();
}
/**
* Returns the preference store of this plug-in.
*
* @return this plug-in's preference store
*/
public static IPreferenceStore getPreferenceStore() {
return EditorsPlugin.getDefault().getPreferenceStore();
}
/**
* 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.
* <p>
* To access the
* general preference from another plug-in use a
* {@link org.eclipse.ui.texteditor.ChainedPreferenceStore}:
* <pre>
* List stores= new ArrayList(3);
* stores.add(YourPlugin.getDefault().getPreferenceStore());
* stores.add(EditorsUI.getPreferenceStore());
* combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
*
* </pre>
* </p>
* <p>
* Note: In order to work this method must be called before
* the store's default values are set.
* </p>
*
* @param store the preference store to mark
*/
public static void useAnnotationsPreferencePage(IPreferenceStore store) {
MarkerAnnotationPreferences.useAnnotationsPreferencePage(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.
* <p>
* To access the
* general preference from another plug-in use a
* {@link org.eclipse.ui.texteditor.ChainedPreferenceStore}:
* <pre>
* List stores= new ArrayList(3);
* stores.add(YourPlugin.getDefault().getPreferenceStore());
* stores.add(EditorsUI.getPreferenceStore());
* combinedStore= new ChainedPreferenceStore((IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores.size()]));
*
* </pre>
* </p>
* <p>
* Note: In order to work this method must be called before
* the store's default values are set.
* </p>
*
* @param store the preference store to mark
*/
public static void useQuickDiffPreferencePage(IPreferenceStore store) {
MarkerAnnotationPreferences.useQuickDiffPreferencePage(store);
store.setToDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_ALWAYS_ON);
store.setToDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_CHARACTER_MODE);
store.setToDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_DEFAULT_PROVIDER);
}
private EditorsUI() {
// block instantiation
}
/**
* Returns the preferences of this plug-in.
*
* @return the plug-in preferences
* @see org.eclipse.core.runtime.Plugin#getPluginPreferences()
*
*/
public static Preferences getPluginPreferences() {
return EditorsPlugin.getDefault().getPluginPreferences();
}
}
|
