Eclipse 如何设置 Task 编辑器的字体

[honeymoose]

有时候我们觉得 Eclipse 的 Task 编辑器中的字体太难看了。

我们希望修改上面的字体。

其具体的步骤请参考下面的内容。