Complete.Org: Mailing Lists: Archives: freeciv-dev: September 2004:
[Freeciv-Dev] (PR#10231) Docs: Typo in Freeciv FAQ "How do I change the
Home

[Freeciv-Dev] (PR#10231) Docs: Typo in Freeciv FAQ "How do I change the

[Top] [All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
To: undisclosed-recipients: ;
Subject: [Freeciv-Dev] (PR#10231) Docs: Typo in Freeciv FAQ "How do I change the font?"
From: "Egor Vyscrebentsov via RT" <evyscr@xxxxxxxxx>
Date: Tue, 21 Sep 2004 07:37:54 -0700
Reply-to: RT_CorrespondAddressNotSet@xxxxxxxxxxxxxx

<URL: http://RT::WebBaseURL.not.configured:80/Ticket/Display.html?id=10231 >

Now, next lines are about Xaw client:

  To change the main font, try something like:
  civclient -xrm "Freeciv*font: 8x16"

However, one needs to use like next command:

  civclient -- -xrm "Freeciv*.font: 8x16"

Thanks, evyscr.
PS Note that this feature is absent in at least 1.14.1



[Prev in Thread] Current Thread [Next in Thread]
  • [Freeciv-Dev] (PR#10231) Docs: Typo in Freeciv FAQ "How do I change the font?", Egor Vyscrebentsov via RT <=