如何设置plsql字体大小

tools ---- preferences ----- user interface ---- fonts

工具 ---- 首选项 ---- 用户界面 -----字体