2023-05-20 22:29:16 +00:00
|
|
|
# name_monoid
|
|
|
|
|
|
|
|
|
|
a player monoid for controlling the player's nametag.
|
|
|
|
|
|
|
|
|
|
this is an API, no game behavior is changed by installing this w/out installing things that make use of it.
|
|
|
|
|
|
|
|
|
|
possible uses include listing a player's "clan" next to their name, or showing a timer w/ how long they've been AFK
|
|
|
|
|
over their name.
|
|
|
|
|
|
|
|
|
|
##### credits
|
|
|
|
|
|
|
|
|
|
* (c) fluxionary 2022,2023 LGPL
|
|
|
|
|
* credit to insanity54 for better settings descriptions.
|
