diff options
author | Federico Igne <undyamon@disroot.org> | 2024-01-22 23:44:14 +0100 |
---|---|---|
committer | Federico Igne <undyamon@disroot.org> | 2024-01-22 23:44:14 +0100 |
commit | 0b2c183dbf275fbca3f9e0522cc583f85edccab5 (patch) | |
tree | 32bcc85dbb28425792c66edf7890cba3ccd46f5b /lib/editor.ml | |
parent | 43bf616d8e58adf393762b13663cbff5ffb84ce3 (diff) | |
download | sandy-0b2c183dbf275fbca3f9e0522cc583f85edccab5.tar.gz sandy-0b2c183dbf275fbca3f9e0522cc583f85edccab5.zip |
refactor: naming convention in zipper
Unless specified otherwise:
- "before" and "left" mean "before the cursor";
- "right" mean "after (and including) the cursor";
- "after" mean "after (i.e., excluding) the cursor".
Diffstat (limited to 'lib/editor.ml')
0 files changed, 0 insertions, 0 deletions