We currently have to scroll all the way to the top if we want to be navigated to a

specific diff file.
I added a floating banner to the diff view that sticks to the top of the page when

the user has scrolled down. I added text to the banner: "Navigate: ", as well as 

a dropdown button. This button is a list of all diff file names. The current 

state displays the first diff filename on default, and each diff filename 

when hovering over the arrow. The default filename is  duplicated at the

moment. I also added scrolling functionality when the button gets clicked. 

This will take the user's view to the anchor tag of the selected diff file.
Screenshots of the current state of my project:

https://www.notion.so/Week-2-Feb-4th-6eb70ca4cd8e4c4583bbf4d439533e31

I have tested the floating banner on the testing server using dummy diff files 

created by RB Tools.