| 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}) {
|
| println(start);
|
| var oldIndent = _currentIndent;
|
| _currentIndent = '$_currentIndent$_indentSequence';
|
| body();
|
| _currentIndent = oldIndent;
|
| - println(end);
|
| + if (endWithNewline) {
|
| + println(end);
|
| + } else {
|
| + print(end);
|
| + }
|
| }
|
|
|
| void print(String stringToPrint) {
|
|
|