[Freeciv] how do I change the city label font in the GTK client?

[Reinier Post <rp@xxxxxxxxxx>]

  Dear list,

How do I change the font for the GTK client's city labels?

Attached is how far I got.  I can set other fonts, but not the
city labels.  Also, I don't know how to view the resource tree;
editres doesn't work.

-- 
Reinier Post


-- Attached file included as plaintext by Ecartis --

style "city_label"
{
  # no effect
  font = "-*-arial-*-r-*-*-18-*-*-*-*-*-*-*"
# font = "-b&h-lucidatypewriter-bold-r-normal-*-10-*-*-*-*-*-*-*"
}

style "notify_label"
{
  font = "-b&h-lucidatypewriter-bold-r-normal-*-12-*-*-*-*-*-*-*"
}

style "spaceship_label"
{
  font = "-b&h-lucidatypewriter-bold-r-normal-*-12-*-*-*-*-*-*-*"
}

style "help_label"
{
  font = "-adobe-helvetica-medium-r-normal-*-*-120-*-*-*-*-*-*"

  fg[PRELIGHT] = { 1.0, 0.0, 0.0 }
  fg[ACTIVE] = { 1.0, 0.0, 0.0 }
  fg[NORMAL] = { 1.0, 0.0, 0.0 }
  fg[INSENSITIVE] = { 1.0, 0.0, 0.0 }
}

style "help_text"

  # this has effect
  font = "-*-arial-*-r-*-*-18-*-*-*-*-*-*-*"
}

style "default"
{
  # this also works, but it doesn't affect the city labels
  font = "-*-arial-*-r-*-*-24-*-*-*-*-*-*-*"
}

widget  "Freeciv*.city label"           style   "city_label"
widget  "Freeciv*.notify label"         style   "notify_label"
widget  "Freeciv*.spaceship label"      style   "spaceship_label"
widget  "Freeciv*.help label"           style   "help_label"
widget  "Freeciv*.help text"            style   "help_text"