chiark / gitweb /
All right, ColouredString wants an is_empty()
authorSimon Tatham <anakin@pobox.com>
Tue, 26 Dec 2023 12:12:59 +0000 (12:12 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 26 Dec 2023 12:12:59 +0000 (12:12 +0000)
commit92439e784b327a57e8d77bef733e5b41df9973cb
tree10b2c6401807fec1fe4a1a41a0852757910276c6
parente3ad319ab37a437d91e6bf348b5f438a5bde0ee8
All right, ColouredString wants an is_empty()
src/coloured_string.rs
src/text.rs