'Show' vs. 'reveal' word in settings and commands

[borekb]

I got recently confused by this:

• There is an explorer.autoReveal settings that implements this behavior: Provide an option to stop scrolling revealing active file in explorer #3062. I set that value to false.
• To reveal the file in manually, I searched the command palette and indeed found "Reveal Active File in Windows Explorer".
• I didn't notice that it mentions Windows Explorer specifically (my bad) and was confused by the resulting action.
• I had somewhat hard time to find the right command. It turned turned out to be "Show Active File in Explorer".

I think that more consistent would be if reveal a file would always mean in VSCode's explorer while for opening anything externally, I'd use the word open. For example, "Open Active File in Windows Explorer".

[borekb]

Related issues:

• Provide an option to stop scrolling revealing active file in explorer Provide an option to stop scrolling revealing active file in explorer #3062
• 'Show active file in explorer' should be 'Reveal active file in explorer' 'Show active file in explorer' should be 'Reveal active file in explorer' #5837
• New autoReveal setting for explorer New autoReveal setting for explorer #5329

[bpasero]

Settled on "Reveal in Side Bar" across all OS. I left the other "Reveal in Finder" because it is also about revealing and not opening.

[antonydenyer]

In case anyone stumbles accross this the ID for it is:

workbench.files.action.showActiveFileInExplorer

Would be nice to have a full list of commands somewhere

[bpasero]

If you open keybindings you see a list of unassigned keys at the bottom. We plan to improve the UX around keybinding editing for this milestone though to make this easier overall.

[antonydenyer]

Thanks @bpasero

I was looking for 'reveal' in the keybinding and was thinking this list isn't the full list. Then I ended up searching the code base for 'Reveal Active File in Side Bar' to find the ID.

[bpasero]

What?

[Falieson]

"explorer.autoReveal": false,

is the command and setting to be added to your user settings.json