java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java
branchv_0
changeset 89 98d18e9a357b
parent 88 102ba0fcb07f
child 123 248a98c13ca4
--- 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.