(stream, state)
| 361 | } |
| 362 | |
| 363 | function attrs(stream, state) { |
| 364 | if (stream.peek() == '(') { |
| 365 | stream.next(); |
| 366 | state.isAttrs = true; |
| 367 | state.attrsNest = []; |
| 368 | state.inAttributeName = true; |
| 369 | state.attrValue = ''; |
| 370 | state.attributeIsType = false; |
| 371 | return 'punctuation'; |
| 372 | } |
| 373 | } |
| 374 | |
| 375 | function attrsContinued(stream, state) { |
| 376 | if (state.isAttrs) { |