A small GUI to focus on the selected planet in map view (no more endless tabbing between planets).