Skip to content

Hide filtered-out groups and dangling dividers in select listboxes - #434

Merged
czarandy merged 1 commit into
mainfrom
worktree-issue-413-group-filtering
Aug 5, 2026
Merged

Hide filtered-out groups and dangling dividers in select listboxes#434
czarandy merged 1 commit into
mainfrom
worktree-issue-413-group-filtering

Commits

Commits on Aug 5, 2026