configuration-schema.json

{
  "$id": "https://dainty.site/vs/configuration-schema.json",
  "properties": {
    "editor": {
      "$id": "#/properties/editor",
      "type": "object",
      "default": {},
      "additionalProperties": false,
      "properties": {
        "fontFamily": {
          "$id": "#/properties/editor/properties/fontFamily",
          "type": "string",
          "default": "Consolas"
        }
      }
    },
    "environment": {
      "$id": "#/properties/environment",
      "type": "object",
      "default": {},
      "additionalProperties": false,
      "properties": {
        "additionalScrollbarsContrast": {
          "$id": "#/properties/environment/properties/additionalScrollbarsContrast",
          "type": "boolean",
          "default": true
        },
        "transparentBorders": {
          "$id": "#/properties/environment/properties/transparentBorders",
          "type": "boolean",
          "default": false
        },
        "transparentScrollbarContainers": {
          "$id": "#/properties/environment/properties/transparentScrollbarContainers",
          "type": "boolean",
          "default": false
        },
        "transparentToolWindowGrips": {
          "$id": "#/properties/environment/properties/transparentToolWindowGrips",
          "type": "boolean",
          "default": true
        }
      }
    },
    "extensions": {
      "$id": "#/properties/extensions",
      "type": "object",
      "default": {},
      "additionalProperties": false,
      "properties": {
        "indentGuides": {
          "$id": "#/properties/extensions/properties/indentGuides",
          "type": "object",
          "default": {},
          "additionalProperties": false,
          "properties": {
            "includeSettings": {
              "$id": "#/properties/extensions/properties/indentGuides/properties/includeSettings",
              "type": "boolean",
              "default": false
            }
          }
        }
      }
    },
    "customizations": {
      "default": {},
      "properties": {
        "__searchReplace": {
          "$id": "#/properties/customizations/properties/__searchReplace",
          "type": "object",
          "default": {}
        },
        "__categories": {
          "$id": "#/properties/customizations/properties/__categories",
          "type": "object",
          "default": {}
        }
      }
    }
  }
}