feat: Allow setting the primary level for a group #235

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

epage merged 4 commits into rust-lang:master from Muscraft:group-primary-level

Jul 1, 2025

Member

Muscraft commented Jun 30, 2025

This should allow users to create a Group without a Title and control the primary Level for that Group.

Muscraft force-pushed the group-primary-level branch from 2af8a19 to 2eb2985 Compare

June 30, 2025 21:47

epage reviewed

View reviewed changes

examples/elide_header.svg Outdated Show resolved Hide resolved

epage reviewed

View reviewed changes

src/snippet.rs Outdated Show resolved Hide resolved

epage reviewed

View reviewed changes

src/snippet.rs Outdated Show resolved Hide resolved

epage reviewed

View reviewed changes

src/snippet.rs Outdated Show resolved Hide resolved

epage reviewed

View reviewed changes

src/snippet.rs Show resolved Hide resolved

Muscraft force-pushed the group-primary-level branch 3 times, most recently from 805c67d to 40499d5 Compare

July 1, 2025 00:33

epage reviewed

View reviewed changes

src/snippet.rs Outdated Show resolved Hide resolved

epage reviewed

View reviewed changes

src/snippet.rs Outdated Show resolved Hide resolved

epage reviewed

View reviewed changes

src/snippet.rs Outdated Show resolved Hide resolved

Muscraft added 4 commits

June 30, 2025 19:20


          docs: More accuratly describe AnnotationKind variants

4e70f56


          test: Add a test for a group with no Title

52fd5df


          fix: Only the first element in a Group can set Level

74cc62b


          feat: Allow setting the primary level for a group

5f0b425

Muscraft force-pushed the group-primary-level branch from 40499d5 to 5f0b425 Compare

July 1, 2025 01:20

epage merged commit 74c2517 into rust-lang:master

15 checks passed

Muscraft deleted the group-primary-level branch

July 1, 2025 02:05

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet