William Casarin 6232a8429e timeline: add ui_abbrev_name ...

This is a simple and fast function for abbreviating usernames in the
timeline. If they are too large they make the timeline too wide. We'll
probably need to make this adjustable based on the timeline width, but
this is ok for now.

Changelog-Added: Abbreviate usernames in timelines

2023-07-09 11:13:01 -07:00

600 B

Raw Blame History

View Raw