But apparently that is not the case. I have an extension where the reveal() currently works in VSCode but doesn’t seem to do much in Theia. Also, I was taking a look in the source code and looks like the selectionOptions are not being taken into account (select is never used, focus and expand are missing):
Hi @santosr, unfortunately at the beginning we were accepting PRs stubbing VS Code apis. We are trying not to accept anymore such PRs, but ask for the proper implementation. Although it is not always possible.
@tsmaeder it would be helpful if someone does it, but it is quite tedious to check whether each property of each interface is actually used, sometimes it seems to be used, i.e. someone even copied it and passed to the main process but then did not do anything with it big parts like file system provider and editor comment contributors should be tracked already