Make Recently used boards size configurable from preferences

Author: facchinm

Diff for: app/src/processing/app/Base.java

@@ -1533,9 +1533,13 @@ public void actionPerformed(ActionEvent actionevent) {
     recentBoardsButtonGroup = new ButtonGroup();
     buttonGroupsMap = new HashMap<>();
 
-    JMenuItem recentLabel = new JMenuItem(tr("Recently used boards"));
-    recentLabel.setEnabled(false);
-    boardMenu.add(recentLabel);
+    boolean hasRecentBoardsMenu =  (PreferencesData.getInteger("editor.recent_boards.size", 4) != 0);
+
+    if (hasRecentBoardsMenu) {
+      JMenuItem recentLabel = new JMenuItem(tr("Recently used boards"));
+      recentLabel.setEnabled(false);
+      boardMenu.add(recentLabel);
+    }
 
     // Cycle through all packages
     for (TargetPackage targetPackage : BaseNoGui.packages.values()) {

Diff for: arduino-core/src/processing/app/BaseNoGui.java

@@ -937,7 +937,7 @@ static public void selectBoard(TargetBoard targetBoard) {
     if (!recentlyUsedBoards.contains(targetBoard)) {
       recentlyUsedBoards.add(targetBoard);
     }
-    if (recentlyUsedBoards.size() > 4) {
+    if (recentlyUsedBoards.size() > PreferencesData.getInteger("editor.recent_boards.size", 4)) {
       recentlyUsedBoards.remove();
     }
   }