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(或外观极其相似的字体):