From: Kaj-Michael Lang <milang@tal.org>
Date: Fri, 1 Aug 2008 11:36:32 +0000 (+0300)
Subject: MapWidget: Refresh map when repository changes
X-Git-Url: https://err.no/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=91bd9e9bd0ee90863a32ff8ff819db6f0f7f93d6;p=mapper

MapWidget: Refresh map when repository changes
---

diff --git a/libs/libgtkmap/gtkmap.c b/libs/libgtkmap/gtkmap.c
index 8fcaf7b..9268561 100644
--- 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