diff options
author | Profpatsch <mail@profpatsch.de> | 2021-04-06T00·06+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2021-04-23T18·30+0000 |
commit | 5156da542bac99aa2e625bc4c1033d2017aa5c54 (patch) | |
tree | 71b8ae9362003e868fce12c2f18afd8370bfcca3 /users/grfn/xanthous/src/Xanthous/App/Prompt.hs | |
parent | 50cf1e1a883f91b1eaed85b7bd694b024761f113 (diff) |
feat(users/Profpatsch/struct-edit): per-level position r/2542
The user expects the editor to remember the positions of fields they navigated from to a new level, so when they return they get put in the same spot. We push the index from one field into every level of the value. Unfortunately this introduces pointers and all the woes they bring. Change-Id: I889c28b71fd7082b765e1d6874faeb1b36dade60 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2866 Tested-by: BuildkiteCI Reviewed-by: Profpatsch <mail@profpatsch.de>
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/App/Prompt.hs')
0 files changed, 0 insertions, 0 deletions