Skip to content
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.

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

Fix Boxes2D view not processing annotation labels #3331

Merged
merged 1 commit into from
Sep 15, 2023
Merged

Conversation

teh-cmc
Copy link
Member

@teh-cmc teh-cmc commented Sep 15, 2023

What the title says.

Requires #3323, which made the underlying bug visible to begin with.

What

Checklist

@teh-cmc teh-cmc added ui concerns graphical user interface 📺 re_viewer affects re_viewer itself do-not-merge Do not merge this PR labels Sep 15, 2023
Base automatically changed from cmc/view_part_filters to main September 15, 2023 10:46
@teh-cmc teh-cmc force-pushed the cmc/fix_box2d_labels branch from 50944d6 to 85a4a01 Compare September 15, 2023 10:48
@teh-cmc teh-cmc removed the do-not-merge Do not merge this PR label Sep 15, 2023
@Wumpf Wumpf self-requested a review September 15, 2023 12:27
Copy link
Member

@Wumpf Wumpf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks! I'll unify all of these label handlings in a follow-up soon'ish

Comment on lines +25 to +26
/// If the number of points in the batch is > max_labels, don't render box labels.
pub max_labels: usize,
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think actually we should drop this weirdness; user has zero control over that stuff. If they spam us with labels we should just spam back.
In fact I believe we only ever did this for points

I'll take care of it in a follow-up, don't worry about it here

@Wumpf Wumpf merged commit 6050166 into main Sep 15, 2023
@Wumpf Wumpf deleted the cmc/fix_box2d_labels branch September 15, 2023 12:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📺 re_viewer affects re_viewer itself ui concerns graphical user interface
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants