You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
List currently works for builtins, but doesn't include user-defined maps. We should have a way to print them, but I'm not really sure how yet. We could have a table that specifies the origin of the nickname, like:
List currently works for builtins, but doesn't include user-defined maps. We should have a way to print them, but I'm not really sure how yet. We could have a table that specifies the origin of the nickname, like:
But we also need to think about conveying that some nicknames are being "overwritten" in the merge. So this is actually a bit hairy.
The text was updated successfully, but these errors were encountered: