navicat premium15 那个命令行界面的字体怎么调变大

就是不知道怎么把这个字体调大，工具里的编辑器选项调也没有用，那个工具里面的记录调整了也没有用

工具---选项---编辑器--编辑器字体