在Oracle SQL Developer中更改编辑器字体大小的快捷方式

Question

在Oracle SQL Developer中是否有任何更改字体大小的快捷方式？就像我们在SQL Server中使用Ctrl +鼠标滚轮一样。我到处搜索，但找不到任何东西。如果有人知道，请帮助。

Answer 1

这篇文章中概述的方法在 Windows 10 上对我有用。（请注意，这将编辑 UI 字体，对我来说，有必要执行此操作的第二部分以使用工具 -> 首选项 -> 代码编辑器更改编辑器字体-> 字体页面）：

https://www.thatjeffsmith.com/archive/2013/12/how-to-change-the-ui-font-size-for-oracle-sql-developer/

修改此文件中的 FontSize 属性（您的路径会有所不同）：C:\Users\jdsmith\AppData\Roaming\SQL Developer\system4.1.0.13.75\o.sqldeveloper\ide.properties

和（来自评论）

右键单击 sqldeveloper.exe 图标并选择属性。

转到兼容性选项卡：

• 单击“更改高 DPI 设置”
• 检查覆盖高 DPI 缩放行为的选项
• 在下面的下拉菜单中选择“系统”
• 申请
• 重新启动应用程序

Answer 2

是的，有一种增加或减少字体大小的方法。请按照以下步骤操作。

1. 单击工具，选择首选项。

2. 单击代码编辑器。

3. 单击字体。

4. 在字体大小下拉菜单中设置大小。

Answer 3

默认情况下，这些操作没有键盘快捷键。但是，您可以自己设置一些。就是这样：

• 打开“首选项”（您可以在“工具”菜单中找到它）。
• 向下滚动左侧，直到找到“快捷键”；点击它
• 在右侧顶部，您会看到“搜索”字段 - 将“字体”放入其中；将自动出现“减小”和“增大字体大小”
• 将它们设置为您认为合适的任何快捷方式