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

fixed close sketch

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-18 13:34:36 +02:00
parent e8c3abd2ec
commit 7873e492d4
13 changed files with 79 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
arduino-ide-extension/src/browser/menu/main-menu-manager.ts
View File

@@ -1,8 +0,0 @@
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;
}