Skip to content

Provide possibility to set font options as list of strings #164275

@astrolemonade

Description

@astrolemonade

Hey!

Currently VS Code supports only the following string formats for editor.fontFamily' and terminal.integrated.fontFamily'. This is cumbersome since one cannot comment a font from the list of fonts but rather delete it or move other in the beginning of the list.

"editor.fontFamily": "'JetBrains Mono','Monego','Source Code Pro','Hack',monospace",

I propose a new format option(but keep the old one too) for this:

"editor.fontFamily": [
  "JetBrains Mono",
  "Monego",
  "Source Code Pro",
  "Hack",
  "monospace",

This would be helpful for changing fonts, you comment only the options before your selected font.

"editor.fontFamily": [
  // "JetBrains Mono",
  "Monego",
  "Source Code Pro",
  "Hack",
  "monospace",

I checked and commenting list components work in VS Code settings.

The change would be only in the read process of the settings.

it could be easily translated to string by using

Array.isArray(fontFamily)?(fontFamily.length?fontFamily.map((f)=>{return JSON.stringify(f);}).join(','):null):fontFamily

Metadata

Metadata

Assignees

Labels

feature-requestRequest for new features or functionalitysettings-editorVS Code settings editor issues

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions