a widget for getting cities' co-ordinates by name