// Place your settings in this file to overwrite default and user settings.
{
  "explorer.openEditors.visible": 4,
  
  "explorer.autoReveal": false,
  
  "terminal.integrated.fontFamily": "Operator Mono"
}