(stream, state)
| 236 | } |
| 237 | |
| 238 | function dedent(stream, state) { |
| 239 | var indented = stream.indentation(); |
| 240 | while (top(state).offset > indented) { |
| 241 | if (top(state).type != "py") return true; |
| 242 | state.scopes.pop(); |
| 243 | } |
| 244 | return top(state).offset != indented; |
| 245 | } |
| 246 | |
| 247 | function tokenLexer(stream, state) { |
| 248 | var style = state.tokenize(stream, state); |