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