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

add MonitorSettingsProvider interface

Browse Source
This commit is contained in:
Alberto Iannaccone
2022-05-17 17:45:47 +02:00
parent 1982609c87
commit 7bf4ea0637
9 changed files with 233 additions and 201 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
arduino-ide-extension/src/node/monitor-manager.ts
View File

@@ -1,8 +1,9 @@
import { ILogger } from '@theia/core';
import { inject, injectable, named } from '@theia/core/shared/inversify';
import { Board, Port, Status, MonitorSettings } from '../common/protocol';
import { Board, Port, Status } from '../common/protocol';
import { CoreClientAware } from './core-client-provider';
import { MonitorService } from './monitor-service';
import { MonitorSettings } from './monitor-settings/monitor-settings-provider';
type MonitorID = string;
@@ -54,7 +55,7 @@ export class MonitorManager extends CoreClientAware {
if (!monitor) {
monitor = this.createMonitor(board, port);
}
return await monitor.start();
return await monitor.start(monitorID);
}
/**
@@ -134,7 +135,7 @@ export class MonitorManager extends CoreClientAware {
return Status.NOT_CONNECTED;
}
monitor.setUploadInProgress(false);
return await monitor.start();
return await monitor.start(monitorID);
}
/**