-
Notifications
You must be signed in to change notification settings - Fork 45
Pull requests: rust-lang/annotate-snippets-rs
Pull requests list
Fix line number 0 unaligned display
#142
by chengr4
was closed Sep 3, 2025
Loading...
updated Sep 8, 2025
chore: Release annotate-snippets version 0.12.3
#307
by Muscraft
was merged Sep 4, 2025
Loading...
updated Sep 4, 2025
feat(renderer): Expose default styles
#303
by epage
was merged Sep 4, 2025
Loading...
updated Sep 4, 2025
feat: Add convenience methods for Group::with_title
#305
by epage
was merged Sep 4, 2025
Loading...
updated Sep 4, 2025
docs(renderer): Link out styles to where used
#304
by epage
was merged Sep 4, 2025
Loading...
updated Sep 4, 2025
chore: Release annotate-snippets version 0.12.2
#299
by Muscraft
was merged Sep 3, 2025
Loading...
updated Sep 3, 2025
refactor(renderer): Split out privates from public API
#296
by epage
was merged Sep 3, 2025
Loading...
updated Sep 3, 2025
refactor(renderer): Pull out DecorStyle style
#295
by epage
was merged Sep 3, 2025
Loading...
updated Sep 3, 2025
feat: Allow passing zero to line_start
#294
by Muscraft
was merged Sep 3, 2025
Loading...
updated Sep 3, 2025
fix: Allow merging of multiline duplicate annotations
#293
by Muscraft
was merged Sep 3, 2025
Loading...
updated Sep 3, 2025
docs: Fix and add docs for
Level
#141
by icecream17
was closed Sep 2, 2025
Loading...
updated Sep 2, 2025
feat: Add
Renderer::cut_indicator
#172
by BurntSushi
was closed Sep 2, 2025
Loading...
updated Sep 2, 2025
feat: Add
Level::None
for omitting the header
#171
by BurntSushi
was closed Sep 2, 2025
Loading...
updated Sep 2, 2025
feat: Add
Level::None
for no title prefix
#159
by ZedThree
was closed Sep 2, 2025
Loading...
updated Sep 2, 2025
Add unit test for function fold_prefix_suffix
#140
by chengr4
was closed Sep 2, 2025
Loading...
updated Sep 2, 2025
chore: Release annotate-snippets version 0.12.1
#290
by Muscraft
was merged Sep 2, 2025
Loading...
updated Sep 2, 2025
fix: Handle window close for lines with no annotations
#288
by Muscraft
was merged Sep 2, 2025
Loading...
updated Sep 2, 2025
ProTip!
Mix and match filters to narrow down what you’re looking for.