This commit is contained in:
Mark Lopez 2017-07-17 23:12:31 +00:00 committed by GitHub
commit 56bd416270

View file

@ -77,13 +77,25 @@
},
"xmlTools.xqueryExecutionArguments": {
"type": "array",
"default": ["-xquery", "$(script)", "-in", "$(input)", "-out", "$(input).output.xml"],
"default": [
"-xquery",
"$(script)",
"-in",
"$(input)",
"-out",
"$(input).output.xml"
],
"description": "Arguments to be passed to the execution engine. '$(script)' and '$(input)' refer to the XQuery script and input XML file, respectively."
},
"xmlTools.ignoreDefaultNamespace": {
"type": "boolean",
"default": true,
"description": "Ignores default xmlns attribute when evaluating XPath."
},
"xmlTools.treeViewEnabled": {
"type": "boolean",
"default": true,
"description": "Enable the XML Tree (XML Document) custom view."
}
}
},
@ -100,8 +112,17 @@
"languages": [
{
"id": "xquery",
"aliases": ["XQuery", "xquery"],
"extensions": [".xq",".xql",".xqm",".xqy",".xquery"],
"aliases": [
"XQuery",
"xquery"
],
"extensions": [
".xq",
".xql",
".xqm",
".xqy",
".xquery"
],
"configuration": "./languages/xquery/xquery.json"
}
],
@ -116,7 +137,8 @@
"explorer": [
{
"id": "xmlTreeView",
"name": "XML Document"
"name": "XML Document",
"when": "resourceLangId == 'xml' && config.xmlTools.treeViewEnabled != false"
}
]
}