Skip to content

Add toggle options to help#1381

Closed
paulwkc wants to merge 1 commit intojonas:masterfrom
paulwkc:toggle_options_help
Closed

Add toggle options to help#1381
paulwkc wants to merge 1 commit intojonas:masterfrom
paulwkc:toggle_options_help

Conversation

@paulwkc
Copy link
Copy Markdown
Contributor

@paulwkc paulwkc commented May 30, 2025

Resume #1044 .

@paulwkc
Copy link
Copy Markdown
Contributor Author

paulwkc commented May 30, 2025

image

@paulwkc paulwkc force-pushed the toggle_options_help branch from 9c66881 to d783032 Compare May 30, 2025 15:15
paulwkc referenced this pull request Jun 2, 2025
This is a complement to 7351f17.

Reported-by: PaulChanHK <PaulChanHK@users.noreply.github.com>
koutcher pushed a commit that referenced this pull request Jun 4, 2025
[tk: fixed grep and alignment of bindings descriptions]
@paulwkc paulwkc closed this Jun 5, 2025
@paulwkc paulwkc deleted the toggle_options_help branch June 5, 2025 12:55
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