diff options
| author | Michael Davis | 2022-10-12 15:57:40 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-12 15:57:40 +0000 |
| commit | e16c63276082f1cf79c57ff2ed2d301fe3333a0e (patch) | |
| tree | 1b10135a4fe022c93e4c6c3d1438a94f6688c750 /runtime/queries/ocaml-interface/injections.scm | |
| parent | 7f75458e6f29f2dc0717557a1072b70deee27acb (diff) | |
Apply transactions to the jumplist for undo/redo (#4227)
Undo/redo/earlier/later call `Document::apply_impl` which applies
transactions to the document. These transactions also need to be
applied to the view as in 0aedef0.
Diffstat (limited to 'runtime/queries/ocaml-interface/injections.scm')
0 files changed, 0 insertions, 0 deletions