|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants
Preference constants used in the extended text editor preference store.
Field Summary | |
static String |
EDITOR_CURRENT_LINE
A named preference that controls whether the current line highlighting is turned on or off (value "currentLine" ).
|
static String |
EDITOR_CURRENT_LINE_COLOR
A named preference that holds the color used to highlight the current line (value "currentLineColor" ).
|
static String |
EDITOR_LINE_NUMBER_RULER
A named preference that controls if the line number ruler is shown in the UI (value "lineNumberRuler" ).
|
static 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 String |
EDITOR_OVERVIEW_RULER
A named preference that controls if the overview ruler is shown in the UI (value "overviewRuler" ).
|
static String |
EDITOR_PRINT_MARGIN
A named preference that controls whether the print margin is turned on or off (value "printMargin" ).
|
static String |
EDITOR_PRINT_MARGIN_COLOR
A named preference that holds the color used to render the print margin (value "printMarginColor" ).
|
static String |
EDITOR_PRINT_MARGIN_COLUMN
Print margin column (value "printMarginColumn" ).
|
static String |
EDITOR_SELECTION_BACKGROUND_COLOR
A named preference that holds the color used as the text selection background. |
static 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 String |
EDITOR_SELECTION_FOREGROUND_COLOR
A named preference that holds the color used as the text selection foreground. |
static 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 String |
EDITOR_TAB_WIDTH
A named preference that holds the number of spaces used per tab in the text editor. |
static String |
EDITOR_UNKNOWN_INDICATION
Deprecated. as of 3.0 there are no UNKNOWN annotations any more |
static String |
EDITOR_UNKNOWN_INDICATION_COLOR
Deprecated. As of 3.0, there are no UNKNOWN annotations any more |
static String |
EDITOR_UNKNOWN_INDICATION_IN_OVERVIEW_RULER
Deprecated. As of 3.0, there are no UNKNOWN annotations any more |
static String |
EDITOR_USE_CUSTOM_CARETS
A named preference that controls whether custom carets are used in the editor or not. |
static String |
EDITOR_WIDE_CARET
A named preference that controls whether carets are drawn wide or not. |
static String |
QUICK_DIFF_ALWAYS_ON
A named preference that controls whether quick diff colors are shown on the line number bar. |
static String |
QUICK_DIFF_CHARACTER_MODE
A named preference that controls the default quick diff reference provider. |
static String |
QUICK_DIFF_DEFAULT_PROVIDER
A named preference that controls the default quick diff reference provider. |
static String |
USE_ANNOTATIONS_PREFERENCE_PAGE
A named preference that controls whether this plug-in's Annotations preference page is used to configure annotations. |
static 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 String EDITOR_CURRENT_LINE
"currentLine"
).
The preference value is of type Boolean
.
public static final 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 String EDITOR_TAB_WIDTH
Value is of type int
: positive int value specifying the number of
spaces per tab.
public static final String EDITOR_PRINT_MARGIN
"printMargin"
).
The preference value is of type Boolean
.
public static final 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 String EDITOR_PRINT_MARGIN_COLUMN
"printMarginColumn"
).
The preference value is of type int
.
public static final String EDITOR_UNKNOWN_INDICATION
"othersIndication"
).
The preference value is of type Boolean
.
public static final 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 String EDITOR_UNKNOWN_INDICATION_IN_OVERVIEW_RULER
"othersIndicationInOverviewRuler"
).
The preference value is of type Boolean
.
public static final String EDITOR_OVERVIEW_RULER
"overviewRuler"
).
The preference value is of type Boolean
.
public static final String EDITOR_LINE_NUMBER_RULER
"lineNumberRuler"
).
The preference value is of type Boolean
.
public static final 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 String USE_ANNOTATIONS_PREFERENCE_PAGE
Value is of type boolean
.
public static final String USE_QUICK_DIFF_PREFERENCE_PAGE
Value is of type boolean
.
public static final String QUICK_DIFF_ALWAYS_ON
Value is of type boolean
.
public static final String QUICK_DIFF_DEFAULT_PROVIDER
Value is of type String
.
public static final String QUICK_DIFF_CHARACTER_MODE
Value is of type String
.
public static final String EDITOR_USE_CUSTOM_CARETS
Value is of type Boolean
. If false
, only
the default caret is used in the editor.
public static final String EDITOR_WIDE_CARET
Value is of type Boolean
. If true
, the caret is
twice as wide as the default caret.
public static final 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 String EDITOR_SELECTION_FOREGROUND_DEFAULT_COLOR
Value is of type Boolean
.
public static final 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 String EDITOR_SELECTION_BACKGROUND_DEFAULT_COLOR
Value is of type Boolean
.
Method Detail |
public static void initializeDefaultValues(IPreferenceStore store)
store
- the preference store to be initialized
|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp. and others 2000, 2004. All rights reserved.