1 11 package org.eclipse.pde.internal.ui.editor.text; 12 13 import org.eclipse.jdt.ui.PreferenceConstants; 14 import org.eclipse.jface.util.PropertyChangeEvent; 15 import org.eclipse.swt.graphics.Color; 16 17 public interface IColorManager { 18 19 public static final String [] PROPERTIES_COLORS = new String [] { 20 PreferenceConstants.PROPERTIES_FILE_COLORING_KEY, 21 PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT, 22 PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE, 23 PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT, 24 PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT, 25 }; 26 27 void dispose(); 28 29 Color getColor(String key); 30 31 void handlePropertyChangeEvent(PropertyChangeEvent event); 32 33 } 34 | Popular Tags |