Complete.Org: Mailing Lists: Archives: freeciv-dev: February 2006:
[Freeciv-Dev] (PR#15530) [PATCH] GUI for client font options
Home

[Freeciv-Dev] (PR#15530) [PATCH] GUI for client font options

[Top] [All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
Subject: [Freeciv-Dev] (PR#15530) [PATCH] GUI for client font options
From: "Vasco Alexandre da Silva Costa" <vasco.costa@xxxxxxxxx>
Date: Sat, 11 Feb 2006 13:05:22 -0800
Reply-to: bugs@xxxxxxxxxxx

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=15530 >

Hello,

People often wonder how to change the default font settings.
The present process to change them is cumbersome. My fault.

We even have a longwinded FAQ entry for it:
http://www.freeciv.org/index.php/FAQ#How_do_I_change_the_font.3F

Inevitably some people get it wrong:
http://forum.freeciv.org/viewtopic.php?t=1512

Screenshot attached.

-- 
Vasco Alexandre da Silva Costa

Attachment: gui-font-options.patch.gz
Description: GNU Zip compressed data

PNG image


[Prev in Thread] Current Thread [Next in Thread]
  • [Freeciv-Dev] (PR#15530) [PATCH] GUI for client font options, Vasco Alexandre da Silva Costa <=