Merge branch 'main' into joao/table

This commit is contained in:
Alex Ross
2021-02-19 11:20:50 +01:00
committed by GitHub
318 changed files with 8891 additions and 3641 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',