ubuntu sqldeveloper 修改界面字体

[亡魂溺海] 提交于 2020-03-10 08:20:15

Sqldeveloper 默认的界面字体太小,看着费力,所以想办法修改字体

  1. 首先在软件的首选项中是找不到直接修改界面字体选项的
  2. 需要找到配置文件进行修改
  3. 配置文件不在安装目录,在/home/xxx/.sqldeveloper 隐藏文件夹中,即 用户的个人配置文件夹
  4. 具体目录
/home/xxx/.sqldeveloper/system19.2.1.247.2212/o.sqldeveloper/ide.properties
  1. 打开ide.properties文件,在最后加入:
Ide.FontSize=15

重启软件

修改效果如下
在这里插入图片描述

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!