BS版本 1.4

yzt

2023-05-26 de4278af2fd46705a40bac58ec01122db6b7f3d7

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