New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: utilize name offset space better #258

Merged

boxdot merged 2 commits into master from utilize-space

Dec 21, 2023

Owner

boxdot commented Dec 20, 2023

Also fix rendering of empty user names, and update these when ensuring that the user is known.

boxdot added 2 commits

December 20, 2023 17:48


          feat: utilize name offset space better

4b852f1

Also fix rendering of empty user names. Also update these when ensuring
that the user is known.


          restore diff self color

23eab64

boxdot merged commit 21c72c1 into master

16 checks passed

boxdot deleted the utilize-space branch

December 21, 2023 09:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet