equal
deleted
inserted
replaced
82 e.value = unescape(e.value); |
82 e.value = unescape(e.value); |
83 output.entry(e); |
83 output.entry(e); |
84 } |
84 } |
85 |
85 |
86 void comment(const CommentEvent& event) override { |
86 void comment(const CommentEvent& event) override { |
|
87 // TODO: optionally unescape also comments (e.g. Java .properties) |
87 output.comment(event); |
88 output.comment(event); |
88 } |
89 } |
89 |
90 |
90 void whitespace(const WhitespaceEvent& event) override { |
91 void whitespace(const WhitespaceEvent& event) override { |
91 output.whitespace(event); |
92 output.whitespace(event); |