Merge pull request #9 from Banno/compatibility-fix

People compatibility fix
Banno · Oct 30, 2018 · 2ca0dee · 2ca0dee
2 parents db5c0d3 + dfd8188
commit 2ca0dee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins/codemirror/source.html b/plugins/codemirror/source.html
@@ -243,7 +243,7 @@
 	}
 
 	// Cleanup
-	editor.bodyElement.querySelectorAll("#CmCaReT, .CmCaReT").forEach(cm => editor.dom.remove(cm));
+	editor.getBody().querySelectorAll("#CmCaReT, .CmCaReT").forEach(cm => editor.dom.remove(cm));
 
 }