Skip to content

Integrate game visuals from drawTree to catalog docs page#829

Open
edwardchalstrey1 wants to merge 193 commits intomasterfrom
catalog/744
Open

Integrate game visuals from drawTree to catalog docs page#829
edwardchalstrey1 wants to merge 193 commits intomasterfrom
catalog/744

Conversation

@edwardchalstrey1
Copy link
Copy Markdown
Member

@edwardchalstrey1 edwardchalstrey1 commented Mar 25, 2026

Issues closed by this PR

TODO:

Description of the changes in this PR

This PR adds:

  • Images for each of the games in the catalog so far
  • Download links for game images in .tex, .png, .pdf formats as well as .ef
  • Docs update for catalog developers with how to customise draw_tree settings in update.py
  • Updates Gambit's draw_tree dependency to 0.4.1 (png generation bug fixed)

How to review this PR

@edwardchalstrey1 edwardchalstrey1 marked this pull request as ready for review March 25, 2026 14:41
@edwardchalstrey1 edwardchalstrey1 marked this pull request as draft April 13, 2026 09:28
@edwardchalstrey1 edwardchalstrey1 marked this pull request as ready for review April 13, 2026 10:29
@edwardchalstrey1
Copy link
Copy Markdown
Member Author

edwardchalstrey1 commented Apr 14, 2026

TODOs

  • New draw_tree release
  • Move the images into the dropdown and have them collapsed
  • Somehow make it so it's not a table within a table

@edwardchalstrey1 edwardchalstrey1 marked this pull request as draft April 15, 2026 09:47
@edwardchalstrey1 edwardchalstrey1 marked this pull request as ready for review April 16, 2026 15:43
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.

[Catalog] Add visuals to games catalog

2 participants