(stream, state)
| 688 | CodeMirror.registerHelper("hintWords", "css", allWords); |
| 689 | |
| 690 | function tokenCComment(stream, state) { |
| 691 | var maybeEnd = false, ch; |
| 692 | while ((ch = stream.next()) != null) { |
| 693 | if (maybeEnd && ch == "/") { |
| 694 | state.tokenize = null; |
| 695 | break; |
| 696 | } |
| 697 | maybeEnd = (ch == "*"); |
| 698 | } |
| 699 | return ["comment", "comment"]; |
| 700 | } |
| 701 | |
| 702 | CodeMirror.defineMIME("text/css", { |
| 703 | documentTypes: documentTypes, |