【发布时间】:2023-01-07 03:57:21
【问题描述】:
我正在试验GH Codespaces 在我本地的 VS Code 中(我知道它在远程运行)。
但是不知何故我无法更改字体大小。
Ctrl + , 对于首选项,我找到了 Editor: font size 选项,
但是,更改它不会影响字体大小。
当我在没有代码空间(本地)的情况下尝试同样的事情时,它工作得很好。 这足以报告为 issue 吗?
【问题讨论】:
标签: github visual-studio-code codespaces