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

Add missing Advanced string (#1104)

Browse Source
This commit is contained in:
Francesco Spissu 2022-06-27 10:08:31 +02:00 committed by GitHub
parent 439cdfbbff
commit 6ae6ba5b3d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
arduino-ide-extension/src/browser/contributions/settings.ts
View File

@ -49,7 +49,10 @@ export class Settings extends SketchContribution {
) + '...', ) + '...',
order: '0', order: '0',
}); });
registry.registerSubmenu(ArduinoMenus.FILE__ADVANCED_SUBMENU, 'Advanced'); registry.registerSubmenu(
ArduinoMenus.FILE__ADVANCED_SUBMENU,
nls.localize('arduino/menu/advanced', 'Advanced')
);
} }
override registerKeybindings(registry: KeybindingRegistry): void { override registerKeybindings(registry: KeybindingRegistry): void {

1
i18n/en.json
View File

@ -237,6 +237,7 @@
"zipLibrary": "Library" "zipLibrary": "Library"
}, },
"menu": { "menu": {
"advanced": "Advanced",
"sketch": "Sketch", "sketch": "Sketch",
"tools": "Tools" "tools": "Tools"
}, },