PreferenceConstants.java

package org.jbehave.eclipse.preferences;

/**
 * Constant definitions for plug-in preferences
 */
public class PreferenceConstants {

	public static final String THEMES = "text-style.themes";
    public static final String THEME  = "text-style.theme";
    //
    public static final String THEME_CHANGED = "preferences-theme-changed";
    public static final String LANGUAGE_CHANGED = "story-language-changed";  
    
    public static final String CURRENT_LINE_ENABLED = "current_line_enabled";  
    public static final String CUSTOM_CURRENT_LINE_COLOR = "current_line_color";

}