equal
deleted
inserted
replaced
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) { |