BS版本 1.3

yzt

2023-05-26 2f70f6727314edd84d8ec2bfe3ce832803f1ea77

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)
}