Иван Лох -> debian-russian@lists.debian.org  @ Wed, 15 Dec 2004 21:36:20 +0300:

 >> > Лучше бы, конечно, сэр ссылку на документацию дал...  Но если не может,
 >> > тогда конечно...
 >> 
 >> http://developer.gnome.org/doc/API/2.0/gtk/gtk-Resource-Files.html

 ИЛ> и еще

 ИЛ> http://developer.gnome.org/doc/API/2.0/gtk/GtkSettings.html

Ага, спасибо.  Кто б еще объяснил, как узнавать, какой у данной
хреновины widget...  Скажем, мне надо для civ.  Конфигом

style "default" {
        font_name = "Sans 8"
}
widget_class "*" style : highest "default"

мне удалось добиться указанного фонта везде, кроме вот ровно тех мест,
где мне надо - на карте и в messages window.  Но не удалось ограничить
настройку только на civ.  Попытки поиграться вида 

widget "civ.*"

(перепробованы все слова, которые возвращает xprop, в вариантах widget и
widget_class) к успеху не привели.  Впрочем, что делать с теми местами,
где мне собственно и надо, я тоже не понял...  Да, национальность шрифта
соответственно LANG оно меняет везде.  Т.е. названия городов вполне себе
в iso8859-1 показывает.

-- 
Artem Chuprina
RFC2822: <ran{}ran.pp.ru> Jabber: [EMAIL PROTECTED]

Ответить