(stream, state)
| 417 | } |
| 418 | |
| 419 | function attributesBlock(stream, state) { |
| 420 | if (stream.match(/^&attributes\b/)) { |
| 421 | state.javaScriptArguments = true; |
| 422 | state.javaScriptArgumentsDepth = 0; |
| 423 | return 'keyword'; |
| 424 | } |
| 425 | } |
| 426 | |
| 427 | function indent(stream) { |
| 428 | if (stream.sol() && stream.eatSpace()) { |