(quote)
| 63 | } |
| 64 | |
| 65 | function tokenString(quote) { |
| 66 | return function(stream, state) { |
| 67 | var escaped = false, next, end = false; |
| 68 | while ((next = stream.next()) != null) { |
| 69 | if (next == quote && !escaped) {end = true; break;} |
| 70 | escaped = !escaped && next == "\\"; |
| 71 | } |
| 72 | if (end || !escaped) state.tokenize = null; |
| 73 | return "string"; |
| 74 | }; |
| 75 | } |
| 76 | |
| 77 | function tokenComment(stream, state) { |
| 78 | var maybeEnd = false, ch; |