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

aligned tools and sketch menu. added auto-format

Browse Source 
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
Akos Kitta
2020-07-18 18:08:24 +02:00
parent 89faa9d45c
commit 95dfd3920c
3 changed files with 23 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
arduino-ide-extension/src/browser/library/library-widget-frontend-contribution.ts
View File

@@ -17,7 +17,7 @@ export class LibraryListWidgetFrontendContribution extends AbstractViewContribut
rank: 700
},
toggleCommandId: `${LibraryListWidget.WIDGET_ID}:toggle`,
toggleKeybinding: 'ctrlcmd+shift+l'
toggleKeybinding: 'CtrlCmd+Shift+I'
});
}
@@ -29,7 +29,8 @@ export class LibraryListWidgetFrontendContribution extends AbstractViewContribut
if (this.toggleCommand) {
menus.registerMenuAction(ArduinoMenus.TOOLS, {
commandId: this.toggleCommand.id,
label: 'Manage Libraries...'
label: 'Manage Libraries...',
order: '3'
});
}
}