%20%E4%B8%AD%E5%87%8F%E5%B0%8F%E5%AD%97%E4%BD%93%E5%A4%A7%E5%B0%8F.png)
如何减小选项卡标题栏的字体大小（请参阅截屏 ）？我使用 Eclipse Mobile Juno 和 Linux Mint 13 Mate。
我尝试了 Eclipse 首选项和 Mate 首选项。配合偏好有效，但只有字体系列发生了变化，大小没有变化。
如何在 Eclipse (Linux Mint) 中减小字体大小
如何减小选项卡标题栏的字体大小（请参阅截屏 ）？我使用 Eclipse Mobile Juno 和 Linux Mint 13 Mate。
我尝试了 Eclipse 首选项和 Mate 首选项。配合偏好有效，但只有字体系列发生了变化，大小没有变化。