revealInExplorer command


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?


Hi! We have navigator.reveal: 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.