Client-side preference to turn off document symbols

NikolasKomonen · NikolasKomonen · commit a1fa94a4be72 · 2019-06-04T16:05:34.000-04:00
Signed-off-by: Nikolas Komonen &lt;nikolaskomonen@gmail.com&gt;
diff --git a/package.json b/package.json
@@ -227,6 +227,12 @@
           "default": true,
           "description": "Enable/disable schema based validation. Ignored if \"xml.validation.enabled\": false.",
           "scope": "window"
+        },
+        "xml.symbols.enabled": {
+          "type": "boolean",
+          "default": true,
+          "description": "Enable/disable document symbols (Outline). No symbols are given if `\"xml.symbol.enabled\": false`.",
+          "scope": "window"
         }
       }
     },

Original file line number	Diff line number	Diff line change
`@@ -227,6 +227,12 @@`
`227`	`227`	`"default": true,`
`228`	`228`	`"description": "Enable/disable schema based validation. Ignored if \"xml.validation.enabled\": false.",`
`229`	`229`	`"scope": "window"`
	`230`	`+ },`
	`231`	`+ "xml.symbols.enabled": {`
	`232`	`+ "type": "boolean",`
	`233`	`+ "default": true,`
	`234`	+ "description": "Enable/disable document symbols (Outline). No symbols are given if `\"xml.symbol.enabled\": false`.",
	`235`	`+ "scope": "window"`
`230`	`236`	`}`
`231`	`237`	`}`
`232`	`238`	`},`