addon/fold/foldcode.js · f7f04da45937151e36ea27727e566cdb8cc74c61 · Moritz Aurel Pascal Schubotz / CodeMirror · GitLab

Snippets Groups Projects

7 years ago
f7f04da4
[foldcode addon] Make sure DOM widgets are cloned before being used · f7f04da4
Marijn Haverbeke authored 7 years ago
```
So that the addon doesn't try to put a single DOM node in two places

Closes #4848
```
f7f04da4

History
[foldcode addon] Make sure DOM widgets are cloned before being used
Marijn Haverbeke authored 7 years ago
```
So that the addon doesn't try to put a single DOM node in two places

Closes #4848
```