Restore `faster-pr-diff-options` feature on PRs

Originally disabled on PRs because of https://github.com/sindresorhus/refined-github/issues/2291

This feature was applied to two places:

• PR file header: now disabled because of #2291
• commit header: it still works

Suggested solution

1. Restore the buttons right next to the gear icon, replacing it
2. On small screens (via .d-md-block classes) we can still show the native dropdown

Old suggestion

I had suggested some alternatives to replacing the original “PR diff options” dropdown:

• dropping its “apply and reload” button (saves one click)
• perhaps opening the dropdown on hover (saves one more click)

There’s already a keyboard shortcut to toggle the whitespace. _Originally posted by @fregante in https://github.com/sindresorhus/refined-github/issues/2291#issuecomment-517539452_

Or replacing the gear icon with 2 small icons as described in https://github.com/sindresorhus/refined-github/issues/2597#issuecomment-794294349

[dpashkevich]

I use the “No Whitespace” button all the time (wish it was just ALWAYS enabled by default) and really miss it now.

[dpashkevich]

We could change the label on the button from “No whitespace” to something like “-w” or an icon

On Tue, Dec 17, 2019, 15:57 Federico Brigante [e-mail] wrote:

Sadly there’s not really space for it:

https://user-images.githubusercontent.com/1402241/62343178-ec00eb00-b513-11e9-9f55-30cb56fc2712.png

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/sindresorhus/refined-github/issues/2597?email_source=notifications&email_token=AAI2U3OQNZCF6KA2B7DB4M3QZE4MPA5CNFSM4JW4L46KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEHD5V7I#issuecomment-566745853, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAI2U3PR453AIXLG6KN6UILQZE4MPANCNFSM4JW4L46A .