eclips 怎么调节字体 eclipse怎么改变输出结果大小？

eclipse怎么改变输出结果大小？我们可以看到，在控制台的输出中，这个数字有点小。02在eclipsmy eclipse10怎么设置字体大小？eclipse怎么改变字...