1,最上面的菜单“windows”>>“Preferences”>> “General”>> “Appearance” >> “Colors and Fonts”
2,在最右边选中 Basic >> Text Font, 点击 Edit... 按钮,在弹出的对话框中可以更改 字体及其大小
原文:https://blog.csdn.net/u010921682/article/details/74201436
1,最上面的菜单“windows”>>“Preferences”>> “General”>> “Appearance” >> “Colors and Fonts”
2,在最右边选中 Basic >> Text Font, 点击 Edit... 按钮,在弹出的对话框中可以更改 字体及其大小
原文:https://blog.csdn.net/u010921682/article/details/74201436