The diff view overlay options revealer should be overhauled
The diff view contains an overlay revealer with options, but I think it doesn't work as well as it should:
- There is no way to know it's there by looking at the UI, so I always forget it exists.
- The only times it appears it's by accident when I'm trying to unfold the diff of the last file, and it prevents me from doing so.
- When I want to make it appear on purpose to understand how it works, I never manage to do so.
- It should have a border at the top to differenciate it from the diff view.
Maybe it would be better if it wasn't an overlay, and maybe even if it was always visible? That's likely a question for designers, but as-is I don't think it works very well.