2008-01-29 フォントサイズを即変更できるEclipseプラグインFont Size Changer Eclipse Font Size Changer 1.1.1を利用すると、設定画面を表示することなくその場でフォントサイズの変更が可能になる。プレゼンで威力を発揮するだろう。 これいいなぁ。