badges

2021-10-17 19:57:00 -05:00
parent 3f2b64ed0f
commit bfdf1251a7
24 changed files with 2 additions and 0 deletions
@@ -86,3 +86,5 @@ decent character portraits
 decent UI art
 teams of characters
 flocking AI
+update highlight with name change
+highlight shows player's display name, not tl'd key