字体大小设置
【Window】-->【Preferences】-->【General】-->【Appearance】-->【Colors and Fonts】-->【Basic】-->【Text Font】-->【Chang】
【Window】-->【Preferences】-->【General】-->【Appearance】-->【Colors and Fonts】-->【Basic】-->【Text Font】-->【Chang】