Changelog

0.2.0

First public release.

• A map pin on every portal of the world, for every player, named after the portal's tag. It appears when the portal is built, follows a rename and disappears with the portal. Portals that existed before the mod get their pins too.
• The pins are system pins: not saved into the character, they cannot be crossed out or deleted by clicking, and they come back if another mod removes them.
• Every pin name starts with * (setting NamePrefix) so portal pins stand out among your own.
• The portal naming window lists every portal of the world: the portal being named first, then the ones without a partner. Linked or not is shown by the portal icon — white when paired, red while alone, with a tooltip naming the partner; two linked portals are drawn as one block. Clicking a row writes that name into the field, typing in the field searches the list, and every row has a button that opens the map on that portal and makes its pin pulse — closing the map brings the window back with the text that was in it. The list follows the server while the window is open. Setting ShowPortalList.
• Optional removal of a pin for every player (server settings AllowRemoving, AdminsOnly, client setting ConfirmRemoval). The server keeps the decision next to the world, in <world>.mod.portalpins.hidden; deleting that file with the server stopped brings the pins back.
• Console command pp_selftest.