1 11 package org.eclipse.ui.internal.texteditor; 12 13 14 20 public interface ITextEditorThemeConstants { 21 22 26 public final static String CURRENT_LINE_COLOR= "org.eclipse.ui.editors.currentLineColor"; 28 32 public final static String LINE_NUMBER_RULER_COLOR= "org.eclipse.ui.editors.lineNumberRulerColor"; 34 38 public final static String HYPERLINK_COLOR= "org.eclipse.ui.editors.hyperlinkColor"; 40 44 public final static String FIND_SCOPE_COLOR= "org.eclipse.ui.editors.findScope"; 46 50 public final static String PRINT_MARGIN_COLOR= "org.eclipse.ui.editors.printMarginColor"; 52 56 public static final String PREFERENCE_COLOR_BACKGROUND= "org.eclipse.ui.editors.backgroundColor"; 58 62 public static final String PREFERENCE_COLOR_FOREGROUND= "org.eclipse.ui.editors.foregroundColor"; 64 } 65 | Popular Tags |