(editor)
| 232 | } |
| 233 | |
| 234 | function closeCode(editor) { |
| 235 | let context = editor.state.facet(contextFacet) |
| 236 | if (context.isHTML && context.sandbox) return |
| 237 | context.wrap.remove() |
| 238 | context.orig.style.display = "" |
| 239 | } |
| 240 | |
| 241 | function revertCode(editor) { |
| 242 | let context = editor.state.facet(contextFacet) |