--- a/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java Mon Dec 23 00:14:29 2013 +0100
+++ b/java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java Mon Dec 23 11:50:24 2013 +0100
@@ -166,6 +166,26 @@
println();
}
+ public void print(EnumSet<TerminalStyle> styles, String string) {
+ setStyle(styles);
+ print(string);
+ resetAll();
+ }
+
+ public void println(EnumSet<TerminalStyle> styles, String string) {
+ print(styles, string);
+ println();
+ }
+
+ public void print(TerminalStyle style, String string) {
+ print(EnumSet.of(style), string);
+ }
+
+ public void println(TerminalStyle style, String string) {
+ print(style, string);
+ println();
+ }
+
public void resetAll() {
printCodes(0);
}