[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[debian-users:26817] Re: How to change fontsets in gnome

たけだです．全然関係ないスレッドにつなげちゃっててすいません．

Akira TAGOH <at@xxxxxxxxxxxxxx> writes:

> たごうです．

> /etc/gtk/gtkrc.jaとかありませんか?
> もしあればそのファイルを直接書き換えても構いませんが，
> $HOME/.gtkrcにコピーして好きなフォントに書き換えるといいと思
> います．
> 
> もし ないようでしたら
> --
> style "gtk-default-ja" {
>  fontset = "-adobe-helvetica-medium-r-normal--14-100-100-100-p-76-iso8859-1,\
> 	    -ricoh-ms mincho-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\
> 	    -misc-fixed-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\
> 	    *-r-*"
> }
> class "GtkWidget" style "gtk-default-ja"
> --
> というのを$HOME/.gtkrcに書いて後はフォントを適当に変えてくだ
> さい．

どうもありがとうございます．これで上手くいきました．

--

Shiro TAKEDA <ged9203@xxxxxxxxxxxxxxxxxx>