Finalize ResourceLabelFormatting API

[akosyakov]

I came across the original issue (#157958) discussing the benefits of leveraging the resolvers proposed API, specifically the workspace.registerResourceLabelFormatter, to improve the user experience when using VSCode remote support. This feature seems particularly valuable for cases like Gitpod, where 3rd party extensions can provide more context for SSH connections and display better labels while relying on Remote SSH for connectivity.

I understand that the original issue was closed due to an alternative solution being found. Nevertheless, I believe that this feature would still be beneficial for Gitpod and other similar use cases. As a potential workaround, an extension could try to change the SSH config file, but this approach could be error-prone, especially when there is no control over a user's machine.

cc @jeremie-stripe @lramos15

[vscodenpa]

This feature request is now a candidate for our backlog. The community has 60 days to upvote the issue. If it receives 20 upvotes we will move it to our backlog. If not, we will close it. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

[vscodenpa]

This feature request has not yet received the 20 community upvotes it takes to make to our backlog. 10 days to go. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

[vscodenpa]

🙁 In the last 60 days, this feature request has received less than 20 community upvotes and we closed it. Still a big Thank You to you for taking the time to create this issue! To learn more about how we handle feature requests, please see our documentation.

Happy Coding!