From f8621b0421eabf254b5f09fa2a1c35f6324684bf Mon Sep 17 00:00:00 2001 From: Flavio Monteiro Date: Thu, 14 Sep 2017 23:46:32 -0300 Subject: [PATCH] Add Menu+Shift+I shortcut to the Library Manager Please note that this commit actually adds the shortcut to its menu entry under the "Tools" menu. As a side effect, the shortcut tip is only shown in this entry and not on the another one. Menu usually means the Ctrl key on most modern systems. --- app/src/processing/app/Editor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index 125935be7..99e53e488 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -731,7 +731,7 @@ public class Editor extends JFrame implements RunnerListener { addInternalTools(toolsMenu); - JMenuItem item = new JMenuItem(tr("Manage Libraries...")); + JMenuItem item = newJMenuItemShift(tr("Manage Libraries..."), 'I'); item.addActionListener(e -> base.openLibraryManager("", "")); toolsMenu.add(item);