Add mnemonics to Boards menu: a-z,A-Z,0-9

Author: jaggzh

app/src/processing/app/Base.java

@@ -1424,15 +1424,31 @@ protected void onIndexesUpdated() throws Exception {
     onBoardOrPortChange();
   }
 
+  public void setMenuItemIncrementalMnemonic(JMenuItem item, int i) {
+    char c;
+    if (i>=0 && i<26) {
+      c = (char)(i+'a');
+    } else if (i>=26 && i<26*2) {
+      c = (char)(i-26+'A');
+    } else if (i>=26*2 && i<26*2 + 10) {
+      c = (char)(i-26*2+'0');
+    } else {
+      return;
+    }
+    item.setText(c + ". " + item.getText());
+    item.setMnemonic(c);
+  }
+
   public void rebuildBoardsMenu() throws Exception {
     boardsCustomMenus = new LinkedList<>();
 
     // The first custom menu is the "Board" selection submenu
     JMenu boardMenu = new JMenu(tr("Board"));
+    boardMenu.setMnemonic('B');
     boardMenu.putClientProperty("removeOnWindowDeactivation", true);
     MenuScroller.setScrollerFor(boardMenu).setTopFixedCount(1);
 
-    boardMenu.add(new JMenuItem(new AbstractAction(tr("Boards Manager...")) {
+    JMenuItem menuItem = new JMenuItem(new AbstractAction(tr("Boards Manager...")) {
       public void actionPerformed(ActionEvent actionevent) {
         String filterText = "";
         String dropdownItem = "";
@@ -1448,7 +1464,9 @@ public void actionPerformed(ActionEvent actionevent) {
           e.printStackTrace();
         }
       }
-    }));
+    });
+    menuItem.setMnemonic('M');
+    boardMenu.add(menuItem);
     boardsCustomMenus.add(boardMenu);
 
     // If there are no platforms installed we are done
@@ -1522,9 +1540,14 @@ public void actionPerformed(ActionEvent actionevent) {
       }
     } else {
       // For multiple platforms, use submenus
+      // int i=0;
+      String keys="";
+      int i=0;
       for (JMenu platformMenu : platformMenus) {
         if (firstBoardItem == null && platformMenu.getItemCount() > 0)
           firstBoardItem = platformMenu.getItem(0);
+        setMenuItemIncrementalMnemonic(platformMenu, i);
+        i++;
         boardMenu.add(platformMenu);
       }
     }

app/src/processing/app/Editor.java

@@ -741,6 +741,7 @@ private JMenu buildToolsMenu() {
 
     if (portMenu == null)
       portMenu = new JMenu(tr("Port"));
+      portMenu.setMnemonic('P');
     populatePortMenu();
     toolsMenu.add(portMenu);
     MenuScroller.setScrollerFor(portMenu);