]> git.neil.brown.name Git - edlib.git/commit
git / edlib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8fba1fc) | patch
rangetrack: dont' track owner or clean up when owner closes.
authorNeilBrown <neil@brown.name>
Mon, 9 Oct 2023 22:30:34 +0000 (09:30 +1100)
committerNeilBrown <neil@brown.name>
Mon, 9 Oct 2023 22:30:34 +0000 (09:30 +1100)
commitb6e9f47a9fab312a6c0cb3aa5c1912f3bb5d6b37
tree363c40247f55eebe9d564b3295ec6cf42fff13c8tree | snapshot
parent8fba1fc3efc3b91dbad9971a51ff3e0eeae3faf3commit | diff
rangetrack: dont' track owner or clean up when owner closes.

We want parsing to be stable - we shouldn't have to re-spellcheck when
a doc is revisited.  So leave range info permanently until doc is closed.

Signed-off-by: NeilBrown <neil@brown.name>
lib-rangetrack.c diff | blob | history
Because one more editor is never engough