diff options
| author | yzwduck | 2022-06-05 10:44:55 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-05 10:44:55 +0000 |
| commit | d24ca66dbb5e67ed609f7b2cf11abaee05beaef7 (patch) | |
| tree | a1e2be123ebd708ae32242fb785b0427528cba84 /runtime/queries/ocaml/indents.scm | |
| parent | 026241cf72df9a684ec889a146bead9266dba374 (diff) | |
Avoid modifying jumplist until jumping to ref (#2670)
When a goto command is cancelled, the jumplist should remain unchanged.
This commit delays saving the current selection to the jumplist until
jumping to a reference.
Diffstat (limited to 'runtime/queries/ocaml/indents.scm')
0 files changed, 0 insertions, 0 deletions