-
Notifications
You must be signed in to change notification settings - Fork 38.8k
Closed as not planned
Labels
feature-requestRequest for new features or functionalityRequest for new features or functionalitysettings-editorVS Code settings editor issuesVS Code settings editor issues
Milestone
Description
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):fontFamilyReactions are currently unavailable
Metadata
Metadata
Assignees
Labels
feature-requestRequest for new features or functionalityRequest for new features or functionalitysettings-editorVS Code settings editor issuesVS Code settings editor issues