Editor: fix the map view not always updated when zooming (#174).