jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-16 13:49:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

zen mode for the output

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-31 13:56:21 +02:00
parent 06c3015158
commit a2b3d9b314
12 changed files with 358 additions and 356 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
arduino-ide-extension/src/common/protocol/tool-output-service.ts
View File

@@ -1,16 +1,22 @@
import { JsonRpcServer } from "@theia/core";
import { JsonRpcServer } from '@theia/core';
export const ToolOutputServiceServer = Symbol("ToolOutputServiceServer");
export interface ToolOutputMessage {
readonly tool: string;
readonly chunk: string;
readonly severity?: 'error' | 'warning' | 'info';
}
export const ToolOutputServiceServer = Symbol('ToolOutputServiceServer');
export interface ToolOutputServiceServer extends JsonRpcServer<ToolOutputServiceClient> {
publishNewOutput(tool: string, chunk: string): void;
append(message: ToolOutputMessage): void;
disposeClient(client: ToolOutputServiceClient): void;
}
export const ToolOutputServiceClient = Symbol("ToolOutputServiceClient");
export const ToolOutputServiceClient = Symbol('ToolOutputServiceClient');
export interface ToolOutputServiceClient {
onNewOutput(tool: string, chunk: string): void;
onMessageReceived(message: ToolOutputMessage): void;
}
export namespace ToolOutputService {
export const SERVICE_PATH = "/tool-output-service";
export const SERVICE_PATH = '/tool-output-service';
}