Change title of cancelRecording command

This commit is contained in:
Koen Vlaswinkel
2022-10-21 10:45:57 +02:00
parent ad41a043a7
commit cff56b7e7b

View File

@@ -656,7 +656,7 @@
},
{
"command": "codeQLMockGitHubApiServer.cancelRecording",
"title": "CodeQL Mock GitHub API Server: Cancel Scenario"
"title": "CodeQL Mock GitHub API Server: Cancel Scenario Recording"
}
],
"menus": {