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

Use name when processing search bar input #1950

Merged
merged 1 commit into from
Aug 29, 2024

Conversation

Kr0nox
Copy link
Member

@Kr0nox Kr0nox commented Aug 28, 2024

Uses submission display name instead of submission ID when deanonymizing and filtering with the search bar of the comparison table
fixes #1946

Copy link

@Kr0nox Kr0nox added the report-viewer PR / Issue deals (partly) with the report viewer and thus involves web-dev technologies label Aug 29, 2024
@tsaglam tsaglam added bug Issue/PR that involves a bug minor Minor issue/feature/contribution/change enhancement Issue/PR that involves features, improvements and other changes and removed bug Issue/PR that involves a bug labels Aug 29, 2024
@tsaglam tsaglam merged commit d808ecd into develop Aug 29, 2024
49 checks passed
@tsaglam tsaglam deleted the report-viewer/search-name-id branch August 29, 2024 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Issue/PR that involves features, improvements and other changes minor Minor issue/feature/contribution/change report-viewer PR / Issue deals (partly) with the report viewer and thus involves web-dev technologies
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants