`quick-pr-diff-options` lightly conflicts with native "Show whitespace" button

Please ensure:

• The bug is caused by Refined GitHub. It doesn’t happen if I disable the extension.

Include in this issue:

• Screenshots/video/gif demonstrating the bug, if it’s visual
• Console errors, if any

Description

GitHub introduced a persistent “Show whitespace” (as in “whitespace changes”) setting: https://github.blog/changelog/2021-10-14-hiding-whitespace-is-now-remembered-for-each-pull-request.

quick-pr-diff-options should either hide the native button or not inject its own.

Example URL

https://togithub.com/refined-github/github-sandbox/pull/4/files?w=1

Browser(s) used

Firefox

[kidonng]

quick-pr-diff-options should either hide the native button or not inject its own.

Let’s prefer the native button if possible, while also making our button look like the native one.

---

I think we should reconsider this feature because the native one remembers its options while ours can’t.

Possible actions are:

• Drop the feature
• Build our feature on top of the native one

[cheap-glitch]

The conflict is indeed “fixed” (skipped), but our buttons ought to do better than now. Particularly the issues mentioned in the conversations above

That should probably be a new issue tagged with “enhancement”, since imo having a persistent whitespace setting is an improvement upon the existing feature.