Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
plugin: add support for
refreshFilesExplorer
The commit adds support for the `workbench.files.action.refreshFilesExplorer` command on the plugin side which delegates to the `REFRESH_NAVIGATOR` command. Signed-off-by: vince-fugnitto <vincent.fugnitto@ericsson.com>
- Loading branch information