diff -r fd2ac24c6a22 -r 5f745ae795a8 java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java --- a/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java Wed Dec 25 01:23:27 2013 +0100 +++ b/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java Wed Dec 25 02:04:57 2013 +0100 @@ -79,6 +79,10 @@ } private boolean colorful = true; + public void setStyle(TerminalStyle style) { + setStyle(EnumSet.of(style)); + } + public void setStyle(EnumSet styles) { printCodes(getStyleCodes(styles)); }