遅ればせながらダウンロード。Eclipseプラグインもあるのか〜。素晴らしい。 これからOpenGL ESで遊んでみます。

JSpinner#setFont()を実行しても、指定したフォントはエディタに反映されない。 ならばgetEditor()を呼んで spinner.getEditor().setFont(font); と書けば良いかというと、それも駄目。getEditor()の戻り値の実体はテキストフィールドを持ったパネルなので、…