Chromium Code Reviews| Index: lib/indenting_writer.dart |
| diff --git a/lib/indenting_writer.dart b/lib/indenting_writer.dart |
| index 1b7dfca0b3acd9c3d8a351e7fd37b6336df0ab58..e22a93577b6526242810d67d0a18eedd99d81097 100644 |
| --- a/lib/indenting_writer.dart |
| +++ b/lib/indenting_writer.dart |
| @@ -12,13 +12,17 @@ class IndentingWriter implements Writer { |
| IndentingWriter(this._indentSequence, this._writer); |
| - void addBlock(String start, String end, void body()) { |
| + void addBlock(String start, String end, void body(), {endWithNewline: true}) { |
|
skybrian
2015/06/24 16:16:29
Is endWithNewline used?
|
| println(start); |
| var oldIndent = _currentIndent; |
| _currentIndent = '$_currentIndent$_indentSequence'; |
| body(); |
| _currentIndent = oldIndent; |
| - println(end); |
| + if (endWithNewline) { |
| + println(end); |
| + } else { |
| + print(end); |
| + } |
| } |
| void print(String stringToPrint) { |