Feature request: Add option to not open editor when clicking a file in the GitHub file tree

[herrherrmann]

When using the file tree in GitHub’s PR view, I want to just navigate to that file within GitHub. I don’t want my editor to open that file in that case (I’d like to only use the line numbers for that). Could you add an option to select which clicks should open the editor?

I’d imagine a UI like this:

Open the editor by clicking:

• [x] File names in file tree
• [x] Line numbers

(There might be other interactions I’m not aware of yet.)

Thanks for the consideration!

And let me know if you accept PRs, I’d be happy to help out with this. ✌️