Merge pull request #2022 from github/nora/remove-history-item-hover

Query History Item: remove on hover
This commit is contained in:
Nora
2023-01-30 14:44:39 +01:00
committed by GitHub

View File

@@ -835,6 +835,11 @@
"group": "7_queryHistory@0",
"when": "viewItem == interpretedResultsItem || viewItem == rawResultsItem || viewItem == remoteResultsItem || viewItem == cancelledResultsItem || viewItem == cancelledRemoteResultsItem"
},
{
"command": "codeQLQueryHistory.removeHistoryItem",
"group": "inline",
"when": "viewItem == interpretedResultsItem || viewItem == rawResultsItem || viewItem == remoteResultsItem || viewItem == cancelledResultsItem || viewItem == cancelledRemoteResultsItem"
},
{
"command": "codeQLQueryHistory.renameItem",
"group": "6_queryHistory@0",