|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Alexey Morozov 2:5020/400 16 Feb 2001 16:12:52
To : "Vitaly V. Kuzmenko"
Subject : Re: Сменить экранный шрифт в GNOME
--------------------------------------------------------------------------------
Vitaly V. Kuzmenko <valetta@mail.ru> wrote:
VVK> В всех остальных окнах и случаях используется та Verdana, которую я и
VVK> хотел. Как бы мне победить неприятность эту?
По всей видимости, забить :-)
17.02 должен выйти наутилус, который будет дефолтным fm в Gnome-1.4. Его
глюки с фонтами (судя по PR3) - совершенно несовместимы с глюками gmc :-).
Hу, а если серьезно, то можно попытаться угадать виджет класс и/или
виджет-нэйм, которыми пользуется GMC. По всей видимости, в условиях
отсутствия поддержки в gtk( at least 1.2) X Resources и отсутствия программ,
делающих для gtk_style тоже, что editres делает для XResources, догадываться
придется, глядя в исходники. Либо, доставить вообще всех возможных фонтов,
gmc от этого делается чуть легче, верьте мне :-)
--- ifmail v.2.15dev5
* Origin: Demos online service (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
Re: Сменить экранный шрифт в GNOME