Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@seadowg
Copy link
Member

@seadowg seadowg commented Sep 11, 2025

Motivated by failure of our nightly job where the drawer was opened like this:

Screenshot 2025-09-11 at 09 03 04

If there's silent notifications in the drawer the "Manage" button
might end up out of bounds.
@seadowg seadowg marked this pull request as ready for review September 11, 2025 08:21
@seadowg seadowg requested a review from lognaturel September 11, 2025 08:22
Copy link
Member

@lognaturel lognaturel left a comment

Choose a reason for hiding this comment

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

Fascinating!

@seadowg seadowg merged commit 8c21a3f into getodk:master Sep 11, 2025
6 checks passed
@seadowg seadowg deleted the drawer-search branch September 11, 2025 16:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants