Some minor improvements to our GUI interface.

This arose from trying to debug something by creating a test view that
doesn’t inherit from CommonWidget, which someone else might very well
decide to do too, so…