* The main plugin class to be used in the desktop.
*/
public interface IPreferenceConstants {
+
public static final String LOCALHOST_PREF = "_localhost"; //$NON-NLS-1$
public static final String DOCUMENTROOT_PREF = "_documentroot"; //$NON-NLS-1$
public static final String USE_EXTERNAL_BROWSER_PREF = "_use_external_browser"; //$NON-NLS-1$
/** Preference key for the foreground color of the line numbers */
public final static String LINE_NUMBER_COLOR= "_lineNumberColor"; //$NON-NLS-1$
+ public final static String FORMATTER_TAB_SIZE= "_formatterTabSize"; //$NON-NLS-1$
+ public final static String SPACES_FOR_TABS = "false";
+
public final static String PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT = "_defaultBackgroundColor"; //$NON-NLS-1$
public final static String PREFERENCE_COLOR_BACKGROUND = "backgroundColor"; //$NON-NLS-1$