在"window"下的“Preferences”，在弹出的对话框中，选择左边的“General”下的“Appearance”，然后选择“Appearance”下的“colors and Fonts”，在右边列表框中选择“Basic”下的“Text font”，然后单击右边的“Change...”按钮，选择文字大小，单击确定，单击“OK”
