The History page no longer blanks when you switch repos

The last repo’s numbers stay on screen, dimmed, until the new ones load.