| 116 | } |
| 117 | |
| 118 | void Pad(bool close = false) { |
| 119 | if (Compactify) { |
| 120 | Out.Flush(); |
| 121 | return; |
| 122 | } |
| 123 | if (Level > MaxPaddingLevel || (Level == MaxPaddingLevel && close)) { |
| 124 | Out.Write(" "); |
| 125 | return; |
| 126 | } |
| 127 | if (Level || close) { |
| 128 | Out.Write(Spaces ? "\n" : " "); |
| 129 | } |
| 130 | for (ui32 i = 0; i < Level; ++i) { |
| 131 | Out.Write(Spaces); |
| 132 | } |
| 133 | } |
| 134 | |
| 135 | void WriteSpace(char sp) { |
| 136 | if (Compactify) { |