Refresh the code mirror window when its containing div resizes.

This fixes issue openwebwork#2218.
somiaj · Nov 21, 2023 · 356b1ac · 356b1ac
1 parent 2115a33
commit 356b1ac
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/htdocs/js/PGCodeMirror/pgeditor.js b/htdocs/js/PGCodeMirror/pgeditor.js
@@ -105,6 +105,10 @@
 		= CodeMirror.fromTextArea(document.querySelector('.codeMirrorEditor'), options);
 	cm.setSize('100%', '550px');
 
+	// Refresh the CodeMirror instance anytime the containing div resizes so that if line wrapping changes,
+	// the mouse cursor will still go to the correct place when the user clicks on the CodeMirror window.
+	new ResizeObserver(() => cm.refresh()).observe(document.querySelector('.CodeMirror'));
+
 	const currentThemeFile = localStorage.getItem('WW_PGEditor_selected_theme') ?? 'default';
 	const currentThemeName = await loadConfig(currentThemeFile);
 	cm.setOption('theme', currentThemeName);