diff -r 102ba0fcb07f -r 98d18e9a357b java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java --- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java Sat Dec 28 12:19:39 2013 +0100 +++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java Sat Dec 28 16:45:04 2013 +0100 @@ -45,6 +45,11 @@ * is used if no formatter is specified on CLI nor in user configuration */ public static final String DEFAULT_FORMATTER = TabularFormatter.NAME; + /** + * Can be used as default if prefetching is ok – for configuration listings (config is alread in + * memory, so this does not matter) + */ + public static final String DEFAULT_FORMATTER_PREFETCHING = TabularPrefetchingFormatter.NAME; private String defaultFormatter; /** * Default list of formatters. Is used if particular name is not found in user configuration.