chiark / gitweb /
Fix clipping of initial file positions.
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 11:57:40 +0000 (11:57 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 11:59:18 +0000 (11:59 +0000)
commitf972070d04bcbb5c62116dafa59dcc72ea131911
tree77c048d169897f2053c9e688b92a67ca42283020
parente0c887f3c04c21a2717dc9d85a9dc2d6de7aa0aa
Fix clipping of initial file positions.

It's not enough to just modify the item index - we also have to reset
the line number.
src/file.rs