Improved our Viewer plugin [ci skip].
The viewer does now get updated every time we switch files (closes #400).

This is what we should have done all along, but ok nevermind…