The issue has been closed

Keep diff stats on PR file list when header is fixed #3925

hkdobrev posted onGitHub

There's a bug in the GitHub UI with the Jump to file list on PR pages.

To be clear, this is not a bug from Refined GitHub. It's a UI glitch which GitHub has and I hope Refined GitHub could improve similar to others.

To reproduce:

Open a PR Files tab on GitHub with enough changes - e.g. https://github.com/sindresorhus/refined-github/pull/3922/files
Open the "Jump to..." files list.
Notice the diff stats on the right of each file.
Scroll down the whole page until the header is fixed.
Notice the diff stats disappear when the header is fixed.

Top of the page, header not fixed: Screenshot 2021-01-29 at 13 43 54

Scrolled down, header fixed: Screenshot 2021-01-29 at 13 44 02

This can probably be just some CSS in the main css file.

posted by fregante about 4 years ago

Fund this Issue

$0.00

Funded

Pull requests