1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java	Mon Dec 23 00:14:29 2013 +0100
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java	Mon Dec 23 11:50:24 2013 +0100
     1.3 @@ -166,6 +166,26 @@
     1.4  		println();
     1.5  	}
     1.6  
     1.7 +	public void print(EnumSet<TerminalStyle> styles, String string) {
     1.8 +		setStyle(styles);
     1.9 +		print(string);
    1.10 +		resetAll();
    1.11 +	}
    1.12 +
    1.13 +	public void println(EnumSet<TerminalStyle> styles, String string) {
    1.14 +		print(styles, string);
    1.15 +		println();
    1.16 +	}
    1.17 +
    1.18 +	public void print(TerminalStyle style, String string) {
    1.19 +		print(EnumSet.of(style), string);
    1.20 +	}
    1.21 +
    1.22 +	public void println(TerminalStyle style, String string) {
    1.23 +		print(style, string);
    1.24 +		println();
    1.25 +	}
    1.26 +
    1.27  	public void resetAll() {
    1.28  		printCodes(0);
    1.29  	}