import { JsonRpcServer } from '@theia/core/lib/common/messaging/proxy-factory'; export const ConfigServiceClient = Symbol('ConfigServiceClient'); export interface ConfigServiceClient { notifyConfigChanged(config: Config): void; notifyInvalidConfig(): void; } export const ConfigServicePath = '/services/config-service'; export const ConfigService = Symbol('ConfigService'); export interface ConfigService extends JsonRpcServer { getVersion(): Promise; getConfiguration(): Promise; getCliConfigFileUri(): Promise; getConfigurationFileSchemaUri(): Promise; isInDataDir(uri: string): Promise; isInSketchDir(uri: string): Promise; } export interface Config { readonly sketchDirUri: string; readonly dataDirUri: string; readonly downloadsDirUri: string; readonly additionalUrls: string[]; }