VSCode 如何从 editor.fontfamily 中给定的字体列表中选择字体?
How VSCode choose the font from the given font list in editor.fontfamily?
当我打开 VSCode editor.fontfamily 设置时,我发现在输入字段中有一个字体系列列表。所以我想知道 VSCode 如何从 editor.fontfamily 中给定的字体列表中选择字体?
是否按照优先级从高到低选择字体,策略是什么?或者不同位置的字体有不同的效果?
谢谢。
“列表”更像是一组字体,其中第一个是首选字体,下一个是后备字体,依此类推。就 JSON 对象而言,它不是实际的 list,它只是一个以逗号分隔的字符串。
{
"editor.fontFamily": "Consolas, 'Courier New', monospace",
// first second third
}
您可以通过简单地切换字体并保存文件来测试这一点,以查看 Visual Studio 代码的反应。如果您将伪造的字体名称作为集合中的第一项,当 Visual Studio 代码找不到该字体时,它将回退到下一个。在 Windows 上,如果您只提供无效字体,那么最终的退路似乎是 Times New Roman(或外观极其相似的字体):
当我打开 VSCode editor.fontfamily 设置时,我发现在输入字段中有一个字体系列列表。所以我想知道 VSCode 如何从 editor.fontfamily 中给定的字体列表中选择字体?
是否按照优先级从高到低选择字体,策略是什么?或者不同位置的字体有不同的效果?
谢谢。
“列表”更像是一组字体,其中第一个是首选字体,下一个是后备字体,依此类推。就 JSON 对象而言,它不是实际的 list,它只是一个以逗号分隔的字符串。
{
"editor.fontFamily": "Consolas, 'Courier New', monospace",
// first second third
}
您可以通过简单地切换字体并保存文件来测试这一点,以查看 Visual Studio 代码的反应。如果您将伪造的字体名称作为集合中的第一项,当 Visual Studio 代码找不到该字体时,它将回退到下一个。在 Windows 上,如果您只提供无效字体,那么最终的退路似乎是 Times New Roman(或外观极其相似的字体):