(stream, state)
| 431 | } |
| 432 | |
| 433 | function comment(stream, state) { |
| 434 | if (stream.match(/^ *\/\/(-)?([^\n]*)/)) { |
| 435 | state.indentOf = stream.indentation(); |
| 436 | state.indentToken = 'comment'; |
| 437 | return 'comment'; |
| 438 | } |
| 439 | } |
| 440 | |
| 441 | function colon(stream) { |
| 442 | if (stream.match(/^: */)) { |