|
Eclipse Platform Release 3.6 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants
public class AbstractDecoratedTextEditorPreferenceConstants
Preference constants used in the extended text editor preference store.
| Field Summary | |
|---|---|
static java.lang.String |
EDITOR_CURRENT_LINE
A named preference that controls whether the current line highlighting is turned on or off (value "currentLine"). |
static java.lang.String |
EDITOR_CURRENT_LINE_COLOR
A named preference that holds the color used to highlight the current line (value "currentLineColor"). |
static java.lang.String |
EDITOR_DISABLE_OVERWRITE_MODE
A named preference that controls disabling of the overwrite mode. |
static java.lang.String |
EDITOR_HOVER_ENRICH_MODE
A named preference that controls if hovers should automatically be closed when the mouse is moved into them, or when they should be enriched. |
static java.lang.String |
EDITOR_HYPERLINK_COLOR
A named preference that holds the color used for hyperlinks. |
static java.lang.String |
EDITOR_HYPERLINK_COLOR_SYSTEM_DEFAULT
A named preference that holds the preference whether to use the native link color. |
static java.lang.String |
EDITOR_HYPERLINK_KEY_MODIFIER
A named preference that controls the key modifier for hyperlinks. |
static java.lang.String |
EDITOR_HYPERLINK_KEY_MODIFIER_MASK
A named preference that controls the key modifier mask for hyperlinks. |
static java.lang.String |
EDITOR_HYPERLINKS_ENABLED
A named preference that controls if hyperlinks are turned on or off. |
static java.lang.String |
EDITOR_LINE_NUMBER_RULER
A named preference that controls if the line number ruler is shown in the UI (value "lineNumberRuler"). |
static java.lang.String |
EDITOR_LINE_NUMBER_RULER_COLOR
A named preference that holds the color used to render line numbers inside the line number ruler (value "lineNumberColor"). |
static java.lang.String |
EDITOR_OVERVIEW_RULER
A named preference that controls if the overview ruler is shown in the UI (value "overviewRuler"). |
static java.lang.String |
EDITOR_PRINT_MARGIN
A named preference that controls whether the print margin is turned on or off (value "printMargin"). |
static java.lang.String |
EDITOR_PRINT_MARGIN_COLOR
A named preference that holds the color used to render the print margin (value "printMarginColor"). |
static java.lang.String |
EDITOR_PRINT_MARGIN_COLUMN
Print margin column (value "printMarginColumn"). |
static java.lang.String |
EDITOR_SELECTION_BACKGROUND_COLOR
A named preference that holds the color used as the text selection background. |
static java.lang.String |
EDITOR_SELECTION_BACKGROUND_DEFAULT_COLOR
A named preference that describes if the system default selection background color is used as the text selection background. |
static java.lang.String |
EDITOR_SELECTION_FOREGROUND_COLOR
A named preference that holds the color used as the text selection foreground. |
static java.lang.String |
EDITOR_SELECTION_FOREGROUND_DEFAULT_COLOR
A named preference that describes if the system default selection foreground color is used as the text selection foreground. |
static java.lang.String |
EDITOR_SHOW_TEXT_HOVER_AFFORDANCE
A named preference that defines whether the hint to make hover sticky should be shown. |
static java.lang.String |
EDITOR_SHOW_WHITESPACE_CHARACTERS
A named preference that controls the display of whitespace characters. |
static java.lang.String |
EDITOR_SMART_HOME_END
A named preference that controls if smart home/end navigation is on or off Value is of type Boolean. |
static java.lang.String |
EDITOR_SPACES_FOR_TABS
A named preference that specifies if the editor uses spaces for tabs. |
static java.lang.String |
EDITOR_TAB_WIDTH
A named preference that holds the number of spaces used per tab in the text editor. |
static java.lang.String |
EDITOR_TEXT_DRAG_AND_DROP_ENABLED
A named preference that controls whether text drag and drop is enabled. |
static java.lang.String |
EDITOR_UNDO_HISTORY_SIZE
A named preference that holds the size of the editor's undo history. |
static java.lang.String |
EDITOR_UNKNOWN_INDICATION
Deprecated. as of 3.0 there are no UNKNOWN annotations any more |
static java.lang.String |
EDITOR_UNKNOWN_INDICATION_COLOR
Deprecated. As of 3.0, there are no UNKNOWN annotations any more |
static java.lang.String |
EDITOR_UNKNOWN_INDICATION_IN_OVERVIEW_RULER
Deprecated. As of 3.0, there are no UNKNOWN annotations any more |
static java.lang.String |
EDITOR_USE_CUSTOM_CARETS
A named preference that controls whether custom carets are used in the editor or not. |
static java.lang.String |
EDITOR_WARN_IF_INPUT_DERIVED
A named preference that controls whether a confirmation dialog is shown before editing derived input. |
static java.lang.String |
EDITOR_WIDE_CARET
A named preference that controls whether carets are drawn wide or not. |
static java.lang.String |
QUICK_DIFF_ALWAYS_ON
A named preference that controls whether quick diff colors are shown on the line number bar. |
static java.lang.String |
QUICK_DIFF_CHARACTER_MODE
A named preference that controls the default quick diff reference provider. |
static java.lang.String |
QUICK_DIFF_DEFAULT_PROVIDER
A named preference that controls the default quick diff reference provider. |
static java.lang.String |
REVISION_ASK_BEFORE_QUICKDIFF_SWITCH
A named preference that controls whether the user is asked before switching the quick diff reference when showing revision information.. |
static java.lang.String |
REVISION_RULER_RENDERING_MODE
A named preference that controls the rendering mode of the revision ruler. |
static java.lang.String |
REVISION_RULER_SHOW_AUTHOR
A named preference that controls the rendering of the author on the revision ruler. |
static java.lang.String |
REVISION_RULER_SHOW_REVISION
A named preference that controls rendering of the revision on the revision ruler. |
static java.lang.String |
SHOW_RANGE_INDICATOR
A named preference that controls the display of the range indicator. |
static java.lang.String |
USE_ANNOTATIONS_PREFERENCE_PAGE
A named preference that controls whether this plug-in's Annotations preference page is used to configure annotations. |
static java.lang.String |
USE_QUICK_DIFF_PREFERENCE_PAGE
A named preference that controls whether this plug-in's Quick Diff preference page is used to configure Quick Diff. |
| Method Summary | |
|---|---|
static void |
initializeDefaultValues(IPreferenceStore store)
Initializes the given preference store with the default values. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.lang.String EDITOR_CURRENT_LINE
"currentLine").
The preference value is of type Boolean.
public static final java.lang.String EDITOR_CURRENT_LINE_COLOR
"currentLineColor").
The preference value is of type String. A RGB color value encoded as a string
using class PreferenceConverter.
StringConverter,
PreferenceConverter,
Constant Field Valuespublic static final java.lang.String EDITOR_TAB_WIDTH
Value is of type int: positive int value specifying the number of
spaces per tab.
public static final java.lang.String EDITOR_SPACES_FOR_TABS
Value is of type Boolean. If truespaces instead of tabs are used
in the editor. If false the editor inserts a tab character when pressing the tab
key.
public static final java.lang.String EDITOR_UNDO_HISTORY_SIZE
Value is of type int: 0 or positive int value specifying the size of
the editor's undo history.
public static final java.lang.String EDITOR_PRINT_MARGIN
"printMargin").
The preference value is of type Boolean.
public static final java.lang.String EDITOR_PRINT_MARGIN_COLOR
"printMarginColor").
The preference value is of type String. A RGB color value encoded as a string
using class PreferenceConverter.
StringConverter,
PreferenceConverter,
Constant Field Valuespublic static final java.lang.String EDITOR_PRINT_MARGIN_COLUMN
"printMarginColumn").
The preference value is of type int.
public static final java.lang.String EDITOR_UNKNOWN_INDICATION
"othersIndication").
The preference value is of type Boolean.
public static final java.lang.String EDITOR_UNKNOWN_INDICATION_COLOR
"othersIndicationColor").
The preference value is of type String. A RGB color value encoded as a string
using class PreferenceConverter.
EDITOR_UNKNOWN_INDICATION,
StringConverter,
PreferenceConverter,
Constant Field Valuespublic static final java.lang.String EDITOR_UNKNOWN_INDICATION_IN_OVERVIEW_RULER
"othersIndicationInOverviewRuler").
The preference value is of type Boolean.
public static final java.lang.String EDITOR_OVERVIEW_RULER
"overviewRuler").
The preference value is of type Boolean.
public static final java.lang.String EDITOR_LINE_NUMBER_RULER
"lineNumberRuler").
The preference value is of type Boolean.
public static final java.lang.String EDITOR_LINE_NUMBER_RULER_COLOR
"lineNumberColor").
The preference value is of type String. A RGB color value encoded as a string
using class PreferenceConverter.
StringConverter,
PreferenceConverter,
EDITOR_LINE_NUMBER_RULER,
Constant Field Valuespublic static final java.lang.String USE_ANNOTATIONS_PREFERENCE_PAGE
Value is of type boolean.
public static final java.lang.String USE_QUICK_DIFF_PREFERENCE_PAGE
Value is of type boolean.
public static final java.lang.String QUICK_DIFF_ALWAYS_ON
Value is of type boolean.
public static final java.lang.String QUICK_DIFF_DEFAULT_PROVIDER
Value is of type String.
public static final java.lang.String QUICK_DIFF_CHARACTER_MODE
Value is of type String.
public static final java.lang.String EDITOR_USE_CUSTOM_CARETS
Value is of type Boolean. If false, only
the default caret is used in the editor.
public static final java.lang.String EDITOR_WIDE_CARET
Value is of type Boolean. If true, the caret is
twice as wide as the default caret.
public static final java.lang.String EDITOR_SELECTION_FOREGROUND_COLOR
Value is of type String. A RGB color value encoded as a string
using class PreferenceConverter
StringConverter,
PreferenceConverter,
Constant Field Valuespublic static final java.lang.String EDITOR_SELECTION_FOREGROUND_DEFAULT_COLOR
Value is of type Boolean.
public static final java.lang.String EDITOR_SELECTION_BACKGROUND_COLOR
Value is of type String. A RGB color value encoded as a string
using class PreferenceConverter
StringConverter,
PreferenceConverter,
Constant Field Valuespublic static final java.lang.String EDITOR_SELECTION_BACKGROUND_DEFAULT_COLOR
Value is of type Boolean.
public static final java.lang.String EDITOR_HYPERLINKS_ENABLED
Value is of type Boolean.
public static final java.lang.String EDITOR_HYPERLINK_KEY_MODIFIER
Value is of type String.
public static final java.lang.String EDITOR_HYPERLINK_KEY_MODIFIER_MASK
EDITOR_HYPERLINK_KEY_MODIFIER
cannot be resolved to valid SWT modifier bits.
Value is of type String.
EDITOR_HYPERLINK_KEY_MODIFIER,
Constant Field Valuespublic static final java.lang.String EDITOR_HYPERLINK_COLOR
Value is of type String. A RGB color value encoded as a string
using class PreferenceConverter
StringConverter,
PreferenceConverter,
Constant Field Valuespublic static final java.lang.String EDITOR_HYPERLINK_COLOR_SYSTEM_DEFAULT
The preference value is of type Boolean.
public static final java.lang.String EDITOR_DISABLE_OVERWRITE_MODE
Value is of type Boolean.
Note: As of 3.3, this preference can no longer
be set via UI but is still honored by the code. A workspace that
was started at least once with 3.3 has this preference set to false.
Workspaces started with 3.4 keep their current preference.
public static final java.lang.String EDITOR_WARN_IF_INPUT_DERIVED
Value is of type Boolean.
public static final java.lang.String EDITOR_SMART_HOME_END
Value is of type Boolean.
public static final java.lang.String EDITOR_SHOW_WHITESPACE_CHARACTERS
Value is of type Boolean.
public static final java.lang.String SHOW_RANGE_INDICATOR
Value is of type Boolean.
public static final java.lang.String REVISION_ASK_BEFORE_QUICKDIFF_SWITCH
Value is of type String.
public static final java.lang.String REVISION_RULER_RENDERING_MODE
Value is of type String and should contain the name of a
IRevisionRulerColumnExtension.RenderingMode.
public static final java.lang.String REVISION_RULER_SHOW_AUTHOR
Value is of type Boolean.
public static final java.lang.String REVISION_RULER_SHOW_REVISION
Value is of type Boolean.
public static final java.lang.String EDITOR_TEXT_DRAG_AND_DROP_ENABLED
Value is of type Boolean.
public static final java.lang.String EDITOR_SHOW_TEXT_HOVER_AFFORDANCE
Value is of type Boolean.
public static final java.lang.String EDITOR_HOVER_ENRICH_MODE
Value is of type Integer and maps to the following
ITextViewerExtension8.EnrichMode:
null (don't allow moving the mouse into a hover),ITextViewerExtension8.EnrichMode.AFTER_DELAY,ITextViewerExtension8.EnrichMode.IMMEDIATELY,ITextViewerExtension8.EnrichMode.ON_CLICK.
| Method Detail |
|---|
public static void initializeDefaultValues(IPreferenceStore store)
store - the preference store to be initialized
|
Eclipse Platform Release 3.6 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2010. All rights reserved.