revealInExplorer command

Hi,

The command ‘revealInExplorer’ in VSCode select the specific file in the file explorer.
vscode.commands.executeCommand(‘revealInExplorer’, vscode.Uri.parse(targetPath));
Is there similar API in Theia?

Thanks,
Ido

Hi! We have navigator.reveal: https://github.com/eclipse-theia/theia/blob/8ac1e5f8d9123196755fa02cb09d7b21eb311457/packages/navigator/src/browser/navigator-contribution.ts#L74 It would be good to add revealInExplorer matching to VS Code signature in plugin-ext-vscode and implement it by delegating to navigator.reveal.

Thanks Anthon,
It seems that the arguments are different, and navigator.reveal can’t receive the uri of the document. So it would be difficult to just delegate to navigator.reveal.

implementing it should not be hard as well

Thanks. We will consider this.