From ddd876ca4e47b158cd3e643ad018f2f7d5ed4bda Mon Sep 17 00:00:00 2001 From: Martino Facchin Date: Fri, 8 Mar 2019 11:24:51 +0100 Subject: [PATCH] Make Recently used boards size configurable from preferences --- app/src/processing/app/Base.java | 10 +++++++--- arduino-core/src/processing/app/BaseNoGui.java | 2 +- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java index a1b6fc7c7..c4829b2ed 100644 --- a/app/src/processing/app/Base.java +++ b/app/src/processing/app/Base.java @@ -1549,9 +1549,13 @@ public class Base { 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); + } List platformMenus = new ArrayList<>(); diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java index 1a45d599f..c454c0f1e 100644 --- a/arduino-core/src/processing/app/BaseNoGui.java +++ b/arduino-core/src/processing/app/BaseNoGui.java @@ -937,7 +937,7 @@ public class BaseNoGui { if (!recentlyUsedBoards.contains(targetBoard)) { recentlyUsedBoards.add(targetBoard); } - if (recentlyUsedBoards.size() > 4) { + if (recentlyUsedBoards.size() > PreferencesData.getInteger("editor.recent_boards.size", 4)) { recentlyUsedBoards.remove(); } }