1 11 package org.eclipse.ui.editors.text; 12 13 import org.eclipse.jface.preference.IPreferenceStore; 14 15 import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants; 16 17 18 22 public class TextEditorPreferenceConstants { 23 24 27 private TextEditorPreferenceConstants() { 28 } 29 30 38 public final static String EDITOR_CURRENT_LINE= "currentLine"; 40 51 public final static String EDITOR_CURRENT_LINE_COLOR= "currentLineColor"; 53 61 public final static String EDITOR_PRINT_MARGIN= "printMargin"; 63 74 public final static String EDITOR_PRINT_MARGIN_COLOR= "printMarginColor"; 76 84 public final static String EDITOR_PRINT_MARGIN_COLUMN= "printMarginColumn"; 86 96 public final static String EDITOR_UNKNOWN_INDICATION= "othersIndication"; 98 111 public final static String EDITOR_UNKNOWN_INDICATION_COLOR= "othersIndicationColor"; 113 122 public final static String EDITOR_UNKNOWN_INDICATION_IN_OVERVIEW_RULER= "othersIndicationInOverviewRuler"; 124 132 public final static String EDITOR_OVERVIEW_RULER= "overviewRuler"; 134 142 public final static String EDITOR_LINE_NUMBER_RULER= "lineNumberRuler"; 144 156 public final static String EDITOR_LINE_NUMBER_RULER_COLOR= "lineNumberColor"; 158 161 public final static String EDITOR_PROBLEM_INDICATION= "problemIndication"; 163 166 public final static String EDITOR_PROBLEM_INDICATION_COLOR= "problemIndicationColor"; 168 171 public final static String EDITOR_WARNING_INDICATION= "warningIndication"; 173 176 public final static String EDITOR_WARNING_INDICATION_COLOR= "warningIndicationColor"; 178 181 public final static String EDITOR_INFO_INDICATION= "infoIndication"; 183 186 public final static String EDITOR_INFO_INDICATION_COLOR= "infoIndicationColor"; 188 191 public final static String EDITOR_TASK_INDICATION= "taskIndication"; 193 196 public final static String EDITOR_TASK_INDICATION_COLOR= "taskIndicationColor"; 198 201 public final static String EDITOR_BOOKMARK_INDICATION= "bookmarkIndication"; 203 206 public final static String EDITOR_BOOKMARK_INDICATION_COLOR= "bookmarkIndicationColor"; 208 211 public final static String EDITOR_SEARCH_RESULT_INDICATION= "searchResultIndication"; 213 216 public final static String EDITOR_SEARCH_RESULT_INDICATION_COLOR= "searchResultIndicationColor"; 218 221 public final static String EDITOR_ERROR_INDICATION_IN_OVERVIEW_RULER= "errorIndicationInOverviewRuler"; 223 226 public final static String EDITOR_WARNING_INDICATION_IN_OVERVIEW_RULER= "warningIndicationInOverviewRuler"; 228 231 public final static String EDITOR_INFO_INDICATION_IN_OVERVIEW_RULER= "infoIndicationInOverviewRuler"; 233 236 public final static String EDITOR_TASK_INDICATION_IN_OVERVIEW_RULER= "taskIndicationInOverviewRuler"; 238 241 public final static String EDITOR_BOOKMARK_INDICATION_IN_OVERVIEW_RULER= "bookmarkIndicationInOverviewRuler"; 243 246 public final static String EDITOR_SEARCH_RESULT_INDICATION_IN_OVERVIEW_RULER= "searchResultIndicationInOverviewRuler"; 248 253 public static void initializeDefaultValues(IPreferenceStore store) { 254 255 AbstractDecoratedTextEditorPreferenceConstants.initializeDefaultValues(store); 257 258 store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_USE_CUSTOM_CARETS, true); 259 } 260 } 261 | Popular Tags |