Skip to content

Better handling of player naming and colouring#70

Merged
edwardchalstrey1 merged 4 commits into
mainfrom
handle-player-names-with-underscores
May 7, 2026
Merged

Better handling of player naming and colouring#70
edwardchalstrey1 merged 4 commits into
mainfrom
handle-player-names-with-underscores

Conversation

@edwardchalstrey1
Copy link
Copy Markdown
Member

  • Handle player names with underscores
  • Implement dynamic player action colouring for when chance actions are split by player
  • Add 2 new EFG examples

@edwardchalstrey1 edwardchalstrey1 merged commit 14e6834 into main May 7, 2026
4 checks passed
@edwardchalstrey1 edwardchalstrey1 deleted the handle-player-names-with-underscores branch May 7, 2026 14:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant