Eclipse（Linux Mint）でフォントサイズを縮小する方法

タブタイトルバーのフォントサイズを小さくする方法（参照）スクリーンショット ）？私はEclipse Mobile JunoとLinux Mint 13 Mateを使用しています。

Eclipse環境設定とMate環境設定を試してみました。一致のデフォルト設定は機能しますが、フォントコレクションのみが変更され、サイズは変更されません。