(cm)
| 10452 | } |
| 10453 | |
| 10454 | function themeChanged(cm) { |
| 10455 | cm.display.wrapper.className = cm.display.wrapper.className.replace(/\s*cm-s-\S+/g, "") + cm.options.theme.replace(/(^|\s)\s*/g, " cm-s-") |
| 10456 | clearCaches(cm) |
| 10457 | } |
| 10458 | |
| 10459 | var Init = { |
| 10460 | toString: function () { |
no test coverage detected