[Freeciv-Dev] Re: New city dialog

[Jason Dorje Short <vze2zq63@xxxxxxxxxxx>]

"Pieter J. Kersten" wrote:
> 
> On Fri, 26 Oct 2001, Mike Kaufman wrote:

<snip: small font in the city dialog>

> I don't have the time to check this as I should, but recalling from
> memory, it had the same problem. I never mentioned it because you people
> were busy constructing a different dialog. And when looking long and often
> enough, one gets quite an educated guess of what should be there ;-)
> However, if changeable, please do. If I'm doing something wrong locally,
> please say so too, I don't get burned easily :-)
> 
> I can't follow up on this dialog for the next 3 days, so if I'm not
> answering any more, you know why...

CVS freeciv has always had a small font for the city dialog.  It's more
noticable now because it's used in more places, but I don't think that
it's actually smaller (I could be wrong).

Interestingly, the version of freeciv distributed with Red Hat 7.1 does
not have this problem.  Presumably they have either patched freeciv or
changed a setting somewhere (although running the CVS version when
you've got the distribution version installed also has the small font).

Sorry, that's all I know right now.

jason