mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-05-18 10:58:42 +00:00
9 lines
332 B
TypeScript
9 lines
332 B
TypeScript
export const MainMenuManager = Symbol('MainMenuManager');
|
|
export interface MainMenuManager {
|
|
/**
|
|
* Call this method if you have changed the content of the main menu (updated a toggle flag, removed/added new groups or menu items)
|
|
* and you want to re-render it from scratch. Works for electron too.
|
|
*/
|
|
update(): void;
|
|
}
|