v0.7.3 — World-map area cleanup

A small interface cleanup: the world-map area view is tidier now, and a redundant Cancel button has been removed.