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

fixed menu updater.

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-22 14:32:35 +02:00
parent d51bf9fb40
commit d9f4adfb78
8 changed files with 24 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
arduino-ide-extension/src/browser/menu/arduino-menus.ts
View File

@@ -28,7 +28,10 @@ export namespace ArduinoMenus {
// -- Tools
export const TOOLS = [...MAIN_MENU_BAR, '4_tools'];
// `Auto Format`, `Library Manager...`, `Boards Manager...`
export const TOOLS__MAIN_GROUP = [...TOOLS, '0_main'];
// Core settings, such as `Processor` and `Programmers` for the board.
export const TOOLS__BOARD_SETTINGS_GROUP = [...TOOLS, '1_board_settings'];
// Context menu
// -- Open