Skip to content

Modernise and update tree editing shortcuts#927

Merged
tturocy merged 3 commits into
masterfrom
issue_568
Jun 5, 2026
Merged

Modernise and update tree editing shortcuts#927
tturocy merged 3 commits into
masterfrom
issue_568

Conversation

@tturocy
Copy link
Copy Markdown
Member

@tturocy tturocy commented Jun 5, 2026

This cleans up the list of supported keyboard shortcuts on the tree display, and modernises a few of them.

Closes #568.

@tturocy tturocy merged commit 88759f0 into master Jun 5, 2026
26 checks passed
@tturocy tturocy deleted the issue_568 branch June 5, 2026 13:50
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.

Review and document (if appropriate) keyboard shortcuts on game trees

1 participant