api - introduce env.uiKind (web, desktop)

This commit is contained in:
Benjamin Pasero
2019-09-13 17:58:30 +02:00
parent 3fd9684eb5
commit f8effd5fad
7 changed files with 55 additions and 6 deletions

View File

@@ -87,6 +87,7 @@ export interface IInitData {
logsLocation: URI;
autoStart: boolean;
remote: { isRemote: boolean; authority: string | undefined; };
uiKind: UIKind;
}
export interface IConfigurationInitData extends IConfigurationData {
@@ -105,6 +106,11 @@ export interface IExtHostContext extends IRPCProtocol {
export interface IMainContext extends IRPCProtocol {
}
export enum UIKind {
Desktop = 1,
Web = 2
}
// --- main thread
export interface MainThreadClipboardShape extends IDisposable {