sindresorhus/refined-github

File header takes less width than available in diff section #2496

trivikr posted onGitHub

<!-- Thanks for reporting a bug! â›° 1. Make sure the bug is caused by Refined GitHub. Try disabling the extension first. 2. Include a full URL where the bug appears. 3. Include a screenshot/gif Issues without a URL/screenshot will be closed -->

Confirmed that bug is caused by Refined GitHub, as it's not reproducible with the extension disabled.

URL here bug appears https://github.com/aws/aws-sdk-js-v3/pull/404/files/c76e142623095f22ade1532079a262d678877276..d481a6ab569e7bef240f9a8170ae14069e0f9e6a

file-header-less-space

file-header-less-space-dev-tools


Thanks for the report!

It’s being tracked in https://github.com/sindresorhus/refined-github/issues/2291

posted by fregante over 5 years ago

Fund this Issue

$0.00
Funded

Pull requests