Hi there! Many thanks for great extension, makes my day jumping between servers and edit configs so much easier.
Is there any way you can allow customization of initial host lists?(for example create a custom list that will have only 1 location servers, or based on environment/project)
Something similar to jira vscode extensions and custom JQL queries, or github PR extension
Hi there! Many thanks for great extension, makes my day jumping between servers and edit configs so much easier.
Is there any way you can allow customization of initial host lists?(for example create a custom list that will have only 1 location servers, or based on environment/project)
Something similar to jira vscode extensions and custom JQL queries, or github PR extension