history page: Navigate between multiple history files

[neoneye]

Problem

Currently it's only the first history file that is shown on the history page. For some tasks there are 2 or more history files.

https://neoneye.github.io/arc/history.html?historyUrl=https%3A%2F%2Fraw.githubusercontent.com%2Fneoneye%2FARC-Interactive-History-Dataset%2Fmain%2Fhistory_files%2F8%2F72.json

This is the first step in comparing multiple history files with each other.

Solution

Proof of concept for navigating between multiple history files.

[neoneye]

There is now a Prev and a Next button.