equal
deleted
inserted
replaced
53 |
53 |
54 ANSI_CSS.put(53, "term-text-decoration-overline"); |
54 ANSI_CSS.put(53, "term-text-decoration-overline"); |
55 ANSI_CSS.put(55, "term-text-decoration-none"); |
55 ANSI_CSS.put(55, "term-text-decoration-none"); |
56 } |
56 } |
57 |
57 |
|
58 public DefaultANSICodeConverter(){ |
|
59 init(); |
|
60 } |
|
61 |
|
62 protected void init(){ |
|
63 |
|
64 } |
|
65 |
58 @Override |
66 @Override |
59 public String convertANSIToCSS(String ansiEscapeSequence) { |
67 public String convertANSIToCSS(String ansiEscapeSequence) { |
60 StringBuilder cssClasses = new StringBuilder(""); |
68 StringBuilder cssClasses = new StringBuilder(""); |
61 Matcher matcher = Pattern.compile(ANSI_PATTERN).matcher(ansiEscapeSequence); |
69 Matcher matcher = Pattern.compile(ANSI_PATTERN).matcher(ansiEscapeSequence); |
62 if(!matcher.matches()) |
70 if(!matcher.matches()) |