MapWidget: Refresh map when repository changes

diff --git a/libs/libgtkmap/gtkmap.c b/libs/libgtkmap/gtkmap.c
index 8fcaf7b2d3273d8a0f065c825a65bb13c0f43a48..92685616024f39979195737357ee6f8ca70acae8 100644 (file)
--- a/libs/libgtkmap/gtkmap.c
+++ b/libs/libgtkmap/gtkmap.c
@@ -1791,6 +1791,8 @@ priv=GTK_MAP_GET_PRIVATE(map);
 g_return_if_fail(rd);
 
 priv->curr_repo=rd;
+
+gtk_map_refresh(widget);
 }
 
 static gboolean