Alex Dodge

# Overview Still need to investigate but it appears that for large PRs, GitHub has changed the structure of the loading elements. Now the explorer renders immediately instead of waiting...

In general there are some useful UI updates to additionally aid developers while reviewing pull requests: - [x] ~~Add a simple checkbox in the file header which can be clicked...

The polling is working to determine when a specific page is loaded, but leaves a bit to be desired when responding to DOM change while loading content. Some ideas around...

For PRs with particularly large diffs, adding a loading animation would be useful to indicate something is happening, as it can take a while to process the diffs. At the...