(stream, state, pat, offset, style)
| 85 | } |
| 86 | |
| 87 | function maybeBackup(stream, state, pat, offset, style) { |
| 88 | var cur = stream.current(); |
| 89 | var idx = cur.search(pat); |
| 90 | if (idx > -1) { |
| 91 | state.tokenize = backup(stream.pos, state.tokenize, style); |
| 92 | stream.backUp(cur.length - idx - offset); |
| 93 | } |
| 94 | return style; |
| 95 | } |
| 96 | |
| 97 | function continueLine(state, column) { |
| 98 | state.stack = { |