[Freeciv-Dev] [Patch] Added city production info

[Raimar Falke <hawk@xxxxxxxxxxxxxxxxxxxxxxxxx>]

Hello freecivers

Since also some other people found the idea reasonable here is a patch to:
 - show the current production of a city on the map
 - make the above an option which can be selected from the views menu
 - make the display of the city names also an option

Can you please comment the patch. Particularly I'm not sure about the
freeciv and gtk integration.

        Raimar

-- 
 email: rf13@xxxxxxxxxxxxxxxxx
 "Like the ad says, at 300 dpi you can tell she's wearing a
  swimsuit. At 600 dpi you can tell it's wet. At 1200 dpi you
  can tell it's painted on. I suppose at 2400 dpi you can tell
  if the paint is giving her a rash."
    -- Joshua R. Poulson

freeciv-1.10.0-city_descr.diff
Description: Text document