demo/widget.html · f772c3d37df1999dcea2a6e559d525e211a47a9e · Moritz Aurel Pascal Schubotz / CodeMirror · GitLab

Snippets Groups Projects

12 years ago
f772c3d3
[widget demo] Wrap widget updates in operation() call · f772c3d3
Marijn Haverbeke authored 12 years ago
```
This seems to be a better fix for the scroll artifacts.

Closes #795
```
f772c3d3

History
[widget demo] Wrap widget updates in operation() call
Marijn Haverbeke authored 12 years ago
```
This seems to be a better fix for the scroll artifacts.

Closes #795
```