Cleanup: Remove unused Editor parameter to Base.rebuildBoardsMenu

Author: remoun

app/src/processing/app/Base.java

@@ -1016,8 +1016,7 @@ public void onBoardOrPortChange() {
     }  
   }
 
-  
-  public void rebuildBoardsMenu(JMenu menu, final Editor editor) {
+  public void rebuildBoardsMenu(JMenu menu) {
     //System.out.println("rebuilding boards menu");
     menu.removeAll();      
     ButtonGroup group = new ButtonGroup();

app/src/processing/app/Editor.java

@@ -690,7 +690,7 @@ public void actionPerformed(ActionEvent e) {
 
     if (boardsMenu == null) {
       boardsMenu = new JMenu(_("Board"));
-      base.rebuildBoardsMenu(boardsMenu, this);
+      base.rebuildBoardsMenu(boardsMenu);
     }
     menu.add(boardsMenu);