Eclipse でフォント設定を変更していたところ
どうしてもタブのフォントが変更できなかった。
OS の フォント指定すらも適用されていないようだった。
しかしあまりにもタブの文字が大きすぎるので
少々強引にフォントを設定した。
その方法は、Eclipse の CSS ファイルを変更するというもの。
最善と言える方法ではありませんが。
以下はその手順です。
- plugins/org.eclipse.platform_バージョン/css
にある
- e4_default_ご利用の環境.css
というファイルです。
ちなみに自分は Linux Mint の xfce なので
e4_default_gtk.css というファイルです。
その中に
.MPartStack {といった記述があるので
font-size: 11;
swt-simple: false;
swt-mru-visible: false;
}
font-size 行を削除します。
これで OS のフォント設定が使われました。
試していないけれど
- フォントサイズを任意に指定したい場合は、font-size の値を変更
- フォントを指定したい場合は、「font-family: 'フォント名';」という行を追加
すれば良いと思われます。
しかしバージョン依存のファイルにこのような指定をするのは
やはり良い方法とは思えない。
もしかしたらユーザCSS などを上書きで作れるのかも知れないけれど。。。
いずれにしても Eclipse の設定画面から変更できるようになる日を望みます。