Update revision navigation if expanded

Fixes #292