对于修改sql developer界面字体大小,网上很多文章都是说修改编辑器字体,只弄了编辑器字体根本不管用,菜单字体界面还是很小。针对这两个问题,把解决方法分享出来
一、更改界面字体
方法一(推荐):
1.创建sql developer桌面快捷方式
2.右键属性----> 属性 ------> 兼容性
3.兼容模式选择win7
5.更改高DPI设置,选择系统 ,勾选上
6.最后重新启动sql developer即可
方法二:
修改IDE的菜单字体,可以在AppData\Roaming\SQL Developer目录下寻找ide.properties文件,修改显示的字号大小就行
我这里的目录是C:\Users\kk\AppData\Roaming\SQL Developer\system19.2.1.247.2212\o.sqldeveloper
ps:对比两种,个人觉得第一种比较方便
二、更改编辑器字体
工具 -----> 首选项 -------> 代码编辑器 --------> 字体
参考文章:
1.https://blog.csdn.net/hantangduhey/article/details/101423984
2.https://blog.csdn.net/stevensxiao/article/details/100775382