Let Remote extensions set port source (#116838)

This commit is contained in:
Alex Ross
2021-02-17 10:33:46 +01:00
committed by GitHub
parent 89b85a05d4
commit 7a0caf4d86
8 changed files with 60 additions and 11 deletions

View File

@@ -23,6 +23,10 @@ export const IRemoteExplorerService = createDecorator<IRemoteExplorerService>('r
export const REMOTE_EXPLORER_TYPE_KEY: string = 'remote.explorerType';
const TUNNELS_TO_RESTORE = 'remote.tunnels.toRestore';
export const TUNNEL_VIEW_ID = '~remote.forwardedPorts';
export const PORT_AUTO_FORWARD_SETTING = 'remote.autoForwardPorts';
export const PORT_AUTO_SOURCE_SETTING = 'remote.autoForwardPortsSource';
export const PORT_AUTO_SOURCE_SETTING_PROCESS = 'process';
export const PORT_AUTO_SOURCE_SETTING_OUTPUT = 'output';
export enum TunnelType {
Candidate = 'Candidate',