diff options
| author | Michael Davis | 2022-11-23 15:35:07 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-11-24 01:57:12 +0000 |
| commit | 4a103db6228ba54e0f36bbebb95d25867458f473 (patch) | |
| tree | 662f8d99f77f955156b3839d245a228bd71e5cd7 /runtime/queries/markdown.inline | |
| parent | fd00f3a70eb626242bb2fcc9bddf2c4d94580a9a (diff) | |
Apply inversions to Views on undo/redo
When using undo/redo, the history revision can be decremented. In that
case we should apply the inversions since the given revision in
History::changes_since. This prevents panics with jumplist operations
when a session uses undo/redo to move the jumplist selection outside
of the document.
Diffstat (limited to 'runtime/queries/markdown.inline')
0 files changed, 0 insertions, 0 deletions