mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-10-17 15:28:32 +00:00

- 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>
20 lines
658 B
TypeScript
20 lines
658 B
TypeScript
import { MonitorState, PluggableMonitorSetting } from '../../common/protocol';
|
|
|
|
export type PluggableMonitorSettings = Record<string, PluggableMonitorSetting>;
|
|
export interface MonitorSettings {
|
|
pluggableMonitorSettings?: PluggableMonitorSettings;
|
|
monitorUISettings?: Partial<MonitorState>;
|
|
}
|
|
|
|
export const MonitorSettingsProvider = Symbol('MonitorSettingsProvider');
|
|
export interface MonitorSettingsProvider {
|
|
getSettings(
|
|
monitorId: string,
|
|
defaultSettings: PluggableMonitorSettings
|
|
): Promise<PluggableMonitorSettings>;
|
|
setSettings(
|
|
monitorId: string,
|
|
settings: PluggableMonitorSettings
|
|
): Promise<PluggableMonitorSettings>;
|
|
}
|