window
preferences
General 节点下的 Appearance节点 展开后 里面有 colors and fonts 点击以后 把basic 节点展开 可以看到 Text Font项 点击后 右侧有 change 按钮里面就有设置了
preferences
General 节点下的 Appearance节点 展开后 里面有 colors and fonts 点击以后 把basic 节点展开 可以看到 Text Font项 点击后 右侧有 change 按钮里面就有设置了