Looks to do the trick, you're a legend!

Thanks for the fast addition.

Search, ie where I have selected a file in the repo tree and want to jump to another one.