Fix formatting for history format preference

There was a space missing for one of the items, making it not rendered as part of the list
This commit is contained in:
Benjamin Muskalla
2021-09-16 11:31:23 +02:00
committed by Andrew Eisenberg
parent a2b8e7d193
commit 74555510b4

View File

@@ -213,7 +213,7 @@
"codeQL.queryHistory.format": {
"type": "string",
"default": "%q on %d - %s, %r result count [%t]",
"markdownDescription": "Default string for how to label query history items.\n* %t is the time of the query\n* %q is the human-readable query name\n*%f is the query file name\n* %d is the database name\n* %r is the number of results\n* %s is a status string"
"markdownDescription": "Default string for how to label query history items.\n* %t is the time of the query\n* %q is the human-readable query name\n* %f is the query file name\n* %d is the database name\n* %r is the number of results\n* %s is a status string"
},
"codeQL.runningTests.additionalTestArguments": {
"scope": "window",