标签： user-interface oracle-sqldeveloper
我告诉您SQL Developer的问题。 我正在使用Windows10。我的SQL Developer版本是：版本19.2.1.247 问题：我想增加用户界面菜单的大小。
我已经阅读了论坛的内容，可以在以下文件中修改此大小：ide.properties 该属性是Ide.FontSize。 但是问题是在我的安装中找不到该文件。我发现的是ide-boot。性质 如果在此文件中添加此属性，则应用程序将无法运行。 注意：请勿将其与代码编辑器的字体大小混淆 你能帮助我吗？ 非常感谢