Hmm, this post stays here on the front page for many hours, despite low number of upvotes and no comments ... I have to admit that I do not really understand what it wants to say, I also miss the context for what it is/will be used for.
it'd be of interest for anyone who hadn't realised that attributes can be given out of band as well as in band.
[a trick from the old days: if you're making a bunch of positionally-specified edits, do them in the opposite of the naive order, from the back of the file towards the front; this way length changes in the initial edits can't affect offsets for the final edits]
This looks like the "tags" feature of tk text widget which has existed for ~30years. https://tkdocs.com/tutorial/text.html
Hmm, this post stays here on the front page for many hours, despite low number of upvotes and no comments ... I have to admit that I do not really understand what it wants to say, I also miss the context for what it is/will be used for.
2nd chance pool: https://news.ycombinator.com/item?id=26998308
it'd be of interest for anyone who hadn't realised that attributes can be given out of band as well as in band.
[a trick from the old days: if you're making a bunch of positionally-specified edits, do them in the opposite of the naive order, from the back of the file towards the front; this way length changes in the initial edits can't affect offsets for the final edits]