3941cbe6668f6c4c44996b8d27b717467659a513cf39a972f677740b8864bc0de7713e6032f56c45fdc0b3151565202a9ad87fbdf31770b60d4788d1d9730a 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. }