java/sql-dk/src/info/globalcode/sql/dk/ColorfulPrintWriter.java
branchv_0
changeset 59 5f745ae795a8
parent 55 f5ed7c4efacc
child 126 2357a9d08660
equal deleted inserted replaced
58:fd2ac24c6a22 59:5f745ae795a8
    77 			return code;
    77 			return code;
    78 		}
    78 		}
    79 	}
    79 	}
    80 	private boolean colorful = true;
    80 	private boolean colorful = true;
    81 
    81 
       
    82 	public void setStyle(TerminalStyle style) {
       
    83 		setStyle(EnumSet.of(style));
       
    84 	}
       
    85 
    82 	public void setStyle(EnumSet<TerminalStyle> styles) {
    86 	public void setStyle(EnumSet<TerminalStyle> styles) {
    83 		printCodes(getStyleCodes(styles));
    87 		printCodes(getStyleCodes(styles));
    84 	}
    88 	}
    85 
    89 
    86 	private static int[] getStyleCodes(EnumSet<TerminalStyle> styles) {
    90 	private static int[] getStyleCodes(EnumSet<TerminalStyle> styles) {