Skip to content

Integrate game visuals from drawTree to catalog docs page#829

Merged
edwardchalstrey1 merged 198 commits into
masterfrom
catalog/744
May 19, 2026
Merged

Integrate game visuals from drawTree to catalog docs page#829
edwardchalstrey1 merged 198 commits into
masterfrom
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
@edwardchalstrey1 edwardchalstrey1 merged commit 7d3cbad into master May 19, 2026
26 checks passed
@edwardchalstrey1 edwardchalstrey1 deleted the catalog/744 branch May 19, 2026 13:30
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