/** Colour scheme object is also part of config */
private static ColourScheme _colourScheme = new ColourScheme();
/** Recently-used file list */
/** Colour scheme object is also part of config */
private static ColourScheme _colourScheme = new ColourScheme();
/** Recently-used file list */
public static final String KEY_METRIC_UNITS = "prune.metricunits";
/** Key for index of map source */
public static final String KEY_MAPSOURCE_INDEX = "prune.mapsource";
public static final String KEY_METRIC_UNITS = "prune.metricunits";
/** Key for index of map source */
public static final String KEY_MAPSOURCE_INDEX = "prune.mapsource";
/** Key for String containing custom map sources */
public static final String KEY_MAPSOURCE_LIST = "prune.mapsourcelist";
/** Key for show map flag */
/** Key for String containing custom map sources */
public static final String KEY_MAPSOURCE_LIST = "prune.mapsourcelist";
/** Key for show map flag */