(state, stream, type, indent)
| 123 | } |
| 124 | |
| 125 | function pushContext(state, stream, type, indent) { |
| 126 | state.context = new Context(type, stream.indentation() + (indent === false ? 0 : indentUnit), state.context); |
| 127 | return type; |
| 128 | } |
| 129 | |
| 130 | function popContext(state) { |
| 131 | if (state.context.prev) |