首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >在Oracle SQL Developer中更改编辑器字体大小的快捷方式

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

Stack Overflow用户
提问于 2017-11-29 04:11:55
回答 7查看 96.9K关注 0票数 22

在Oracle SQL Developer中是否有更改字体大小的快捷方式?就像我们在SQL Server中有Ctrl+Mouse Wheel一样。我到处找,但什么也找不到。如果有人知道请帮忙。

EN

回答 7

Stack Overflow用户

发布于 2018-07-16 14:50:12

是的,有一种方法可以增大或减小字体大小。

请按照以下步骤操作:

  1. 单击工具,在代码编辑器中选择Preferences.
  2. Click。
  3. 单击字体。
  4. 在字体大小下拉列表中设置大小。
票数 34
EN

Stack Overflow用户

发布于 2019-05-21 21:46:29

这篇文章中概述的方法对我在Windows10上有效。(请注意,这将编辑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图标并选择属性。

转到兼容性选项卡:

单击below

  • Apply

  • Re-Launch
  • 下拉菜单中的"Change high DPI settings
  • Check of high DPI scaling behavior
  • Select“System”选项
票数 12
EN

Stack Overflow用户

发布于 2017-12-24 03:54:29

默认情况下,这些操作没有键盘快捷键。但是,您可以自己设置一些。下面是操作步骤:

  • 打开"Preferences“(你可以在"Tools”菜单中找到)。
  • 向下滚动左侧,直到找到“快捷键”;单击右侧顶部的"Search“
  • ,您将看到”Search“字段-将" Font”放入其中;“Search”和"Increase Size“将自动出现
  • 将它们设置为您找到的任何合适的快捷方式
票数 4
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/47540129

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档