[Freeciv-Dev] Re: (PR#173) City names are re-used

[Miguel Farah <miguel@xxxxx>]

 Christian Knoke [14/11/2002 16:36] dijo/said:
>On Thu, Nov 14, 2002 at 07:07:10PM +0000, Gregory Berkolaiko wrote:
>> On Thu, 14 Nov 2002, Raimar Falke via RT wrote:
>> 
>> > Do people think that this is a bug or a feature?
>> 
>> Call it a ficha, so we don't have to fix it.
>> 
>> The problem might be that someone really doesn't like the name (or the way 
>> it is spelt -- can easily imagine this for russian cities for example), so 
>> they rename it, but it comes back and haunts you.
>
>So every name discarded once never comes up again?

Maybe there could be two buttons in the dialog: "dismiss" and
"dismiss forever".