mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-08 11:56:36 +00:00

- Updated `@theia/*` to `1.37.0`. - Fixed all `yarn audit` security vulnerabilities. - Updated to `electron@23.2.4`: - `contextIsolation` is `true`, - `nodeIntegration` is `false`, and the - `webpack` target is moved from `electron-renderer` to `web`. - Updated to `typescript@4.9.3`. - Updated the `eslint` plugins. - Added the new `Light High Contrast` theme to the IDE2. - High contrast themes use Theia APIs for style adjustments. - Support for ESM modules: `"moduleResolution": "node16"`. - Node.js >= 16.14 is required. - VISX langage packs were bumped to `1.70.0`. - Removed undesired editor context menu items. (Closes #1394) Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
14 lines
427 B
TypeScript
14 lines
427 B
TypeScript
import { PluggableMonitorSettings } from '../../common/protocol';
|
|
|
|
export const MonitorSettingsProvider = Symbol('MonitorSettingsProvider');
|
|
export interface MonitorSettingsProvider {
|
|
getSettings(
|
|
monitorId: string,
|
|
defaultSettings: PluggableMonitorSettings
|
|
): Promise<PluggableMonitorSettings>;
|
|
setSettings(
|
|
monitorId: string,
|
|
settings: PluggableMonitorSettings
|
|
): Promise<PluggableMonitorSettings>;
|
|
}
|