chiark / gitweb /
More, but still not finished
authorSimon Tatham <anakin@pobox.com>
Sun, 24 Dec 2023 13:48:15 +0000 (13:48 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 24 Dec 2023 15:11:07 +0000 (15:11 +0000)
commit830f3fceb75968e518d79ca2b980239eeec9af09
treebcdce44a11866e182b31dc2ba5581bbfafc2424b
parent7d2252f56d3bd22452db968325c67bd324e1ceb0
More, but still not finished

I'm not at all sure that counting by chars is what I really want, hmmm.
src/coloured_string.rs