豊田正史のSLとは関係ございません

_ [Software] Mozilla Thunderbird 0.8

Thunderbirdが新しくなっていた。何が変わったかリリースノートでチェックすると、クイック検索で本文も対象にできるようになったとのこと。そいつはいいってんで、早速インストール。なるへそ、検索エントリのところがドロップダウンボックスになって、どこを検索するか選べるようになったのね。なかなか使いやすくてよい。ただ、本文検索自体は以前と同じように遅いので結構待たされる。このへん索引化してほしいところだよなぁ。

_ [開発] JSpinnerのフォントの変更方法

JavaのJSpinnerでフォントを変更しようとしたが、JSpinner.setFont()では変えてくれないらしい。調べると子供オブジェクトのフォントを変えないといけないことが分かった。で最終的にたどり着いたのが以下のコード。Spinner.getEditor()の返り値の型がなぜかJComponentなので、キャストしないといけない間抜けっぷり。どうにかして欲しい。

JSpinner s = new JSpinner(hogemodel);
((JSpinner.DefaultEditor)s.getEditor()).getTextField().setFont(new Font("Dialog", Font.BOLD, 16));