1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java	Wed Dec 25 01:23:27 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java	Wed Dec 25 02:04:57 2013 +0100
     1.3 @@ -79,6 +79,10 @@
     1.4  	}
     1.5  	private boolean colorful = true;
     1.6  
     1.7 +	public void setStyle(TerminalStyle style) {
     1.8 +		setStyle(EnumSet.of(style));
     1.9 +	}
    1.10 +
    1.11  	public void setStyle(EnumSet<TerminalStyle> styles) {
    1.12  		printCodes(getStyleCodes(styles));
    1.13  	}