Revision 582

tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 582)
239 239
		
240 240
		str.append("Command preferences\n");
241 241
		str.append(TXMPreferences.getKeysAndValues(TXMPreferences.scope, this.preferencesNodeQualifier));
242
		str.append("Default preferences\n");
242
		str.append("\nDefault preferences\n");
243 243
		str.append(TXMPreferences.getKeysAndValues(DefaultScope.INSTANCE, this.preferencesNodeQualifier));
244 244
		
245 245
		return str.toString();

Also available in: Unified diff