多个 设置。打开 ADS 中的设置,文件 -> 首选项 -> 设置/Ctrl+,,然后在顶部的搜索栏中输入“字体”。
如果您想更改键入代码的字体样式,那么您需要设置“编辑器:字体系列”和大小“编辑器:字体大小”。还有一个具有相似名称的终端和结果网格设置(只需将 Editor 替换为 Terminal > Intergerated/Results Grid)。有些插件还提供选项(例如我安装的 Markdown 插件)。
如果你想让整个环境变大,那么你可以按Ctrl++,反之 Ctrl+- 将使所有内容变小。
与任何事情一样,您也可以在设置的 JSON 编辑器中编辑所有这些设置以及更多内容;在“设置”菜单中单击右上角的齿轮即可访问。