chiark / gitweb /
FileStatusLine priority-sensitive rendering.
authorSimon Tatham <anakin@pobox.com>
Tue, 26 Dec 2023 12:13:07 +0000 (12:13 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 26 Dec 2023 12:34:58 +0000 (12:34 +0000)
commit621ac2771c2d503adf5f10ef57c4180b390baacb
tree43da5c563f1ef2a6bb776ea3ab2fed79b9c0a12d
parent92439e784b327a57e8d77bef733e5b41df9973cb
FileStatusLine priority-sensitive rendering.
src/text.rs