First pass at port API needed for port UI (#85117)

Part of https://github.com/microsoft/vscode-remote-release/issues/1777 and https://github.com/microsoft/vscode/issues/81388
This commit is contained in:
Alex Ross
2019-12-10 15:44:30 +01:00
committed by GitHub
parent 1f0a0a7f3e
commit 9566da2e16
6 changed files with 79 additions and 3 deletions

View File

@@ -1390,6 +1390,11 @@ export interface ExtHostStorageShape {
$acceptValue(shared: boolean, key: string, value: object | undefined): void;
}
export interface ExtHostTunnelServiceShape {
}
// --- proxy identifiers
export const MainContext = {
@@ -1464,5 +1469,6 @@ export const ExtHostContext = {
ExtHostStorage: createMainId<ExtHostStorageShape>('ExtHostStorage'),
ExtHostUrls: createExtId<ExtHostUrlsShape>('ExtHostUrls'),
ExtHostOutputService: createMainId<ExtHostOutputServiceShape>('ExtHostOutputService'),
ExtHosLabelService: createMainId<ExtHostLabelServiceShape>('ExtHostLabelService')
ExtHosLabelService: createMainId<ExtHostLabelServiceShape>('ExtHostLabelService'),
ExtHostTunnelService: createMainId<ExtHostTunnelServiceShape>('ExtHostTunnelService')
};