chiark / gitweb /
Aha, Iterator::position is a bit nicer
authorSimon Tatham <anakin@pobox.com>
Mon, 25 Dec 2023 19:58:15 +0000 (19:58 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 25 Dec 2023 19:58:15 +0000 (19:58 +0000)
commit2e4e0a7b1729e9f36e4719d8c076d138029735ab
treeeaf7143ce1cb5ba38060aca0357f951495adc3f9
parent5d1a8dedc0e164d98906271a020febc71418dc73
Aha, Iterator::position is a bit nicer
src/text.rs