V1.10

yzt

2023-05-05 634ab285812bcc3eb802cacb9ec54f489bc2728f

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