te": "event.shiftKey", "force": true }]
        }
      ],
      "padding": 30,
      "marks": [
        {
          "type": "rect",
          "from": { "data": "filter-tree" },
          "encode": {
            "update": {
              "y": { "field": "r0" },
              "stroke": { "value": "white" },
              "fill": { "scale": "color", "field": "depth" },
              "strokeWidth": { "value": 0.1 },
              "x": { "field": "a0" },
              "y2": { "field": "r1" },
              "x2"