(stream, state)
| 652 | } |
| 653 | |
| 654 | function tokenSGMLComment(stream, state) { |
| 655 | if (stream.skipTo("-->")) { |
| 656 | stream.match("-->"); |
| 657 | state.tokenize = null; |
| 658 | } else { |
| 659 | stream.skipToEnd(); |
| 660 | } |
| 661 | return ["comment", "comment"]; |
| 662 | } |
| 663 | |
| 664 | CodeMirror.defineMIME("text/css", { |
| 665 | documentTypes: documentTypes, |