utils.js 270 B

1234567
  1. import { clearCaches } from "../measurement/position_measurement.js"
  2. export function themeChanged(cm) {
  3. cm.display.wrapper.className = cm.display.wrapper.className.replace(/\s*cm-s-\S+/g, "") +
  4. cm.options.theme.replace(/(^|\s)\s*/g, " cm-s-")
  5. clearCaches(cm)
  6. }