PreferenceConstants.java

package de.urszeidler.shr5.webserver.preferences;

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


    public static final String SERVER_PORT = "SERVER_PORT";
    public static final String HISTORY_LINES = "HISTORY_LINES";
    public static final String OPEN_APP_URLS_AT_SERVER_START = "START_SERVER_AT_SCRIPT_START";
	
}