A UI bug about Pull Request View

[Alex-ai-future]

🏷️ Discussion Type

Bug

💬 Feature/Topic Area

iOS

Body

In the ui page of the pr interface, the logic of the filter buttons is wrong. If the page is pulled down, the text of pull request will slide below the filter

[github-actions[bot]]

💬 Your Product Feedback Has Been Submitted 🎉

Thank you for taking the time to share your insights with us! Your feedback is invaluable as we build a better GitHub experience for all our users.

Here's what you can expect moving forward ⏩

• Your input will be carefully reviewed and cataloged by members of our product teams. 
  • Due to the high volume of submissions, we may not always be able to provide individual responses.
  • Rest assured, your feedback will help chart our course for product improvements.
• Other users may engage with your post, sharing their own perspectives or experiences. 
• GitHub staff may reach out for further clarification or insight. 
  • We may 'Answer' your discussion if there is a current solution, workaround, or roadmap/changelog post related to the feedback.

Where to look to see what's shipping 👀

• Read the Changelog for real-time updates on the latest GitHub features, enhancements, and calls for feedback.
• Explore our Product Roadmap, which details upcoming major releases and initiatives.

What you can do in the meantime 💻

• Upvote and comment on other user feedback Discussions that resonate with you.
• Add more information at any point! Useful details include: use cases, relevant labels, desired outcomes, and any accompanying screenshots.

As a member of the GitHub community, your participation is essential. While we can't promise that every suggestion will be implemented, we want to emphasize that your feedback is instrumental in guiding our decisions and priorities.

Thank you once again for your contribution to making GitHub even better! We're grateful for your ongoing support and collaboration in shaping the future of our platform. ⭐

[Alex-ai-future]

I'm very strange. This bug doesn't appear at present, and I can't reproduce it.

[maheerCodes]

This could possibly be related to a temporary UI state desync during scroll refresh or pull-to-refresh animation handling on iOS....

If the issue disappears and cannot be reproduced consistently, it may indicate:

• a rendering race condition
• delayed layer reordering
• cached UI state after gesture interaction
• or an animation constraint conflict during refresh

One thing worth checking is whether the filter bar is using a sticky/floating layer while the PR text content is being re-rendered underneath during the pull gesture.

Possible areas to inspect:

• z-index / layer priority
• scroll container refresh logic
• UIKit animation timing
• dynamic layout invalidation during pull-down refresh

Intermittent bugs like this are difficult to reproduce because they sometimes depend on:

• scroll velocity
• device refresh rate
• cached session state
• memory pressure
• or network timing

If it happens again,,, a screen recording with touch indicators enabled could help isolate the exact rendering sequence.