In github.com when i scroll down through a PR (or Issue) a compressed header is sticky at the top of the window. I would love something similar to this in the GHPRI extension because the header has key commands like checkout, refresh, etc.
Standard PR header in github.com
Compressed, sticky header as I scroll down
Header in vscode
As I scroll down, the header is lost...
In github.com when i scroll down through a PR (or Issue) a compressed header is sticky at the top of the window. I would love something similar to this in the GHPRI extension because the header has key commands like checkout, refresh, etc.
Standard PR header in github.com
Compressed, sticky header as I scroll down
Header in vscode
As I scroll down, the header is lost...