Skip to content

Merge choose_command() and choose_param() into generic choose() - #902

Merged
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:merge-navigate-choose-helpers
Oct 24, 2026
Merged

NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:merge-navigate-choose-helpers

Conversation

@moritz-gross

Copy link
Copy Markdown
Collaborator

The two helpers in navigate.rs had identical bodies and differed only in their types (NavigationCommand vs NavigationParam). Replace them with a single generic choose<T>() and update the call sites in key_press_to_command_and_param(). No behavior change.

The two helpers in navigate.rs had identical bodies and differed only in
their types (NavigationCommand vs NavigationParam). Replace them with a
single generic `choose<T>()` and update the call sites in
`key_press_to_command_and_param()`. No behavior change.
@github-actions

Copy link
Copy Markdown
Linux library size: 0.59 MiB (+0.00%)
Revision Release liblibmathcat.so
Base (31fa5c6) 0.59 MiB (614,800 bytes)
PR (a1b24d1) 0.59 MiB (614,808 bytes)
Change +8 bytes (+0.00%)

Built with default features, Rust 1.96.0, and Ubuntu 24.04. Workflow run.

@NSoiffer

Copy link
Copy Markdown
Collaborator

That's better Rust coding. Thanks.

@NSoiffer
NSoiffer merged commit 1309ab4 into daisy:main Oct 24, 2026
14 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Oct 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants