--- client/gui-gtk/mapctrl.c.orig Fri Oct 15 14:48:36 1999 +++ client/gui-gtk/mapctrl.c Fri Oct 15 14:58:30 1999 @@ -140,6 +140,13 @@ "GtkLabel::label", s, NULL); count++; + + if (city_got_citywalls(pcity)) { + gtk_widget_new(GTK_TYPE_LABEL, "GtkWidget::parent", b, + "GtkLabel::label", _("with City Walls"), + NULL); + count++; + } } if(get_tile_infrastructure_set(ptile)) { --- client/gui-xaw/mapctrl.c.orig Fri Oct 15 14:58:45 1999 +++ client/gui-xaw/mapctrl.c Fri Oct 15 14:59:52 1999 @@ -136,6 +136,11 @@ sprintf(s, _("City: %s(%s)"), pcity->name, get_nation_name(game.players[pcity->owner].nation)); XtCreateManagedWidget(s, smeBSBObjectClass, p, NULL, 0); + + if (city_got_citywalls(pcity)) { + XtCreateManagedWidget(_("with City Walls"), smeBSDObjectClass, + p, NULL, 0); + } } if(get_tile_infrastructure_set(ptile)) {