Merge pull request #488 from jcreedcmu/jcreed/query-text

Fix display of quick-query query text
This commit is contained in:
jcreedcmu
2020-07-07 11:57:07 -04:00
committed by GitHub
2 changed files with 2 additions and 1 deletions

View File

@@ -7,6 +7,7 @@
- Ensure added databases have zipped source locations for databases added as archives or downloaded from the internet.
- Fix bug where it is not possible to add databases starting with `db-*`.
- Change styling of pagination section of the results page.
- Fix display of query text for stored quick queries.
## 1.3.0 - 22 June 2020

View File

@@ -417,7 +417,7 @@ export class QueryHistoryManager {
: singleItem.queryName + '.ql';
const params = new URLSearchParams({
isQuickEval: String(!!singleItem.query.quickEvalPosition),
queryText: await this.getQueryText(singleItem),
queryText: encodeURIComponent(await this.getQueryText(singleItem)),
});
const uri = vscode.Uri.parse(
`codeql:${singleItem.query.queryID}-${queryName}?${params.toString()}`