Follow open files in the PR changes view

[alexr00]

Requested by @digitarald:

When a file that's in the currently checked out PR is opened (even when it's not a diff) we should highlight the file in the "Changes" view if it's open.

[diminutivesloop]

This would be helpful for maintaining context when jumping between files via "go to definition".

[alexr00]

We already do this.

[diminutivesloop]

@alexr00 Are you sure this already works? I'm on the pre-release version (v0.79.2023121409) and files are still only highlighted in the changes view if I open them by directly clicking in that view.

[alexr00]

Here's what I see:

Can you share a gif of what you're seeing?

[diminutivesloop]

Ok looks like it works when I re-enable explorer.autoReveal. I believe I disabled that setting because I didn't like the explorer jumping around when I switched files, but I'll try out re-enabling it and see if it's still a problem. I wonder if it would make sense to have a separate version of that setting for this extension.