Go to file
2023-08-06 16:37:13 -07:00
.github update metadata 2023-07-23 10:07:13 -07:00
.cdb.json update metadata 2023-07-23 10:07:13 -07:00
.editorconfig fmod and normalization 2022-11-29 11:57:14 -08:00
.luacheckrc fmod and normalization 2022-11-29 11:57:14 -08:00
.pre-commit-config.yaml hide name via alpha channel when empty; setting it to the empty string reverts it to the "default" value, the player's name. 2023-05-20 15:17:43 -07:00
init.lua fmod and normalization 2022-11-29 11:57:40 -08:00
LICENSE.txt update license info 2023-08-06 16:37:13 -07:00
mod.conf update metadata 2023-07-23 10:07:13 -07:00
monoid.lua improve settings descriptions (thanks insanity54\!); add a small readme. 2023-05-20 15:29:16 -07:00
README.md improve settings descriptions (thanks insanity54\!); add a small readme. 2023-05-20 15:29:16 -07:00
settingtypes.txt improve settings descriptions (thanks insanity54\!); add a small readme. 2023-05-20 15:29:16 -07: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.