chiark / gitweb /
Store ids in all the TextFragments that will need them.
authorSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 07:36:52 +0000 (07:36 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 08:14:03 +0000 (08:14 +0000)
commit5c17ff406db3841c484a960de357ec12351a3ecd
treea91a6b7f82db5df286a8a91b6ba1b50a7a5a3099
parenta3cfb23578e49a4a9270de2dc9ca325859912f4c
Store ids in all the TextFragments that will need them.

The method of finding out _what_ thing was highlighted has to return
it by its string id. So anything that will have to highlight a
contained object will also need a way to return its id, so they all
have to store those ids.
src/text.rs