Hi there!
This is a tiny issue request that showed up in a user study. When you have a launch.json file and you hover over the play button, you can see a tooltip with "Start Debugging" (unfortunately it doesn't show up in screenshots). The participant looking really hard for the shortcut associated to it, but they couldn't find it in the tooltip. So the suggestion they made was to add it there. So in this case the tooltip would become "Start Debugging (F5)".
Hi there!
This is a tiny issue request that showed up in a user study. When you have a launch.json file and you hover over the play button, you can see a tooltip with "Start Debugging" (unfortunately it doesn't show up in screenshots). The participant looking really hard for the shortcut associated to it, but they couldn't find it in the tooltip. So the suggestion they made was to add it there. So in this case the tooltip would become "Start Debugging (F5)".