(tgif) 英字フォントを変更する (2006/10/12)

tgif の英字フォントをデフォルトから変更できないと思い込んでいましたが,変更できることが分かりました.フォント変更には,~/.Xresources (システムによっては,~/.Xdefaults) に Debian の tgif と X.Org のバージョンやマイナーバージョンがアップグレードした際に,tgif の英字フォントのサイズが决まった値しか変更できない問題がよく生じました.ウェブなどで検索すれば,サイズ変更には,~/.Xresources (システムによっては,~/.Xdefaults) に

Tgif.HasAlternateDefaultFonts: true
と書き込みます.使用したいフォントは,同じ設定ファイルに,例えば,
Tgif.Times-Roman: -adobe-times-medium-r-normal--%d-*
のように XFLD を書けばオーケーです.どのような指定が可能であるかは,システムの /etc/X11/app-defaults/Tgif を参照すれば,分かります.どのようなフォントがあるかは,コマンド xfontsel や xlsfonts などを使えば調べられます.また,この設定ファイルを読み込むには,X Window System を起動し直すか,次のコマンドを打ては,オーケーです.

% xrdb -merge ~/.Xresources

梅原 大祐 / UMEHARA Daisuke umehara@kit.ac.jp
Last modified: 2020/05/01 15:37
Total Access Count