Name	Size	Mode	Actions
CodeMirror.js	8623	0644	editdlrm
commands.js	7502	0644	editdlrm
deleteNearSelection.js	1058	0644	editdlrm
drop_events.js	5134	0644	editdlrm
fromTextArea.js	1986	0644	editdlrm
global_events.js	1448	0644	editdlrm
key_events.js	5507	0644	editdlrm
legacy.js	2583	0644	editdlrm
main.js	2072	0644	editdlrm
methods.js	22242	0644	editdlrm
mouse_events.js	15974	0644	editdlrm
options.js	7226	0644	editdlrm
utils.js	270	0644	editdlrm

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