chiark / gitweb /
Support highlighting the user name in a UserListEntry.
authorSimon Tatham <anakin@pobox.com>
Fri, 5 Jan 2024 09:50:03 +0000 (09:50 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 5 Jan 2024 09:57:51 +0000 (09:57 +0000)
commit5ea817105d5cd7561577a18d9530f0055f6b38ca
treee15935a62fe2c46e6b88273b11fc7ee1249e6271
parent9b7f07b3b768a33c784dd7ed65a0c17fced8ae2c
Support highlighting the user name in a UserListEntry.

So you can look at a list of followers/favers/boosters and go to
Examine User from there.
src/text.rs