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

fix: propagate monitor errors to the frontend

Browse Source 
- Handle when the board's platform is not installed (Closes #1974)
 - UX: Smoother monitor widget reset (Closes #1985)
 - Fixed monitor <input> readOnly state (Closes #1984)
 - Set monitor widget header color (Ref #682)

Closes #1508

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
Akos Kitta
2023-03-17 15:41:34 +01:00
committed by Akos Kitta
parent ab5c63c4b7
commit 80d5b5afa7
16 changed files with 722 additions and 357 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
arduino-ide-extension/src/node/monitor-settings/monitor-settings-provider.ts
View File

@@ -1,10 +1,9 @@
import { MonitorModel } from '../../browser/monitor-model';
import { PluggableMonitorSetting } from '../../common/protocol';
import { MonitorState, PluggableMonitorSetting } from '../../common/protocol';
export type PluggableMonitorSettings = Record<string, PluggableMonitorSetting>;
export interface MonitorSettings {
pluggableMonitorSettings?: PluggableMonitorSettings;
monitorUISettings?: Partial<MonitorModel.State>;
monitorUISettings?: Partial<MonitorState>;
}
export const MonitorSettingsProvider = Symbol('MonitorSettingsProvider');