W liście z wto, 07-05-2002, godz. 18:23, Michał Pasternak pisze:
> A jaki font chcesz ustawić?
Coś doczytałem:
(set-face-font 'default
"-misc-fixed-bold-r-normal-*-15-120-100-100-c-*-iso8859-2")
Czy jest inna metoda?
> Bo GNOME rzadko kiedy korzysta z Xresources, rzekłbym, że prawie wogóle.
No cóż, szkoda.
Pozdrowienia,
--
Miroslaw Sankowski (PIT OG) <msankowski@pit.gda.pl>
PGP key: -------------------------------------------------------------
http://www.pit.gda.pl/~msankowski/msankowski.asc (ID 462B4D1E)
Address: -------------------------------------------------------------
Przemyslowy Instytut Telecomunikacji, Oddzial Gdanski
Telecommunications Research Institute, Gdansk Division
ul. Hallera 13, 80-401 GDANSK, POLAND
--
To UNSUBSCRIBE, email to debian-user-polish-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org