jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-09 18:38:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Scaffold interfaces and classes for pluggable monitors

Browse Source
This commit is contained in:
Silvano Cerza
2022-03-03 10:52:27 +01:00
committed by Alberto Iannaccone
parent 2b2ea72643
commit ebab0b226f
6 changed files with 53 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
arduino-ide-extension/src/common/monitor-manager-proxy.ts Normal file
View File

@@ -0,0 +1,12 @@
import { JsonRpcServer } from "@theia/core";
export const MonitorManagerProxyPath = '/services/monitor-manager-proxy';
export const MonitorManagerProxy = Symbol('MonitorManagerProxy');
export interface MonitorManagerProxy extends JsonRpcServer<MonitorManagerProxyClient> {
}
export const MonitorManagerProxyClient = Symbol('MonitorManagerProxyClient');
export interface MonitorManagerProxyClient {
}