Skip to content

May's rich_help_panel changes#114

Closed
tim-band wants to merge 1 commit into
mainfrom
ui-help-structure
Closed

May's rich_help_panel changes#114
tim-band wants to merge 1 commit into
mainfrom
ui-help-structure

Conversation

@tim-band

@tim-band tim-band commented Jun 12, 2026

Copy link
Copy Markdown
Collaborator

This is my version of May's rich_help_panel UI change. writing it again was easier than merging the massive changes in; I could also re-arrange slightly. Thank you very much May for finding out how to do this!

@tim-band

Copy link
Copy Markdown
Collaborator Author

Already done in #110

@tim-band tim-band closed this Jul 21, 2026
@tim-band tim-band mentioned this pull request Jul 21, 2026
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