make GUI preferences discoverable from the View menu