Support customization of board selection drop-down

[RussellAult]

Describe the request

It would be great if there was a way to populate the drop-down with frequently-used boards. I could see this being populated manually (either as part of preferences or as a "favourite" button in the board selection window), automatically (e.g. the last five boards used appear in the drop-down), or some combination of the two.

Describe the current behavior

When editing sketches "offline" (or, as I understand it, when using a bootloader-less chip and a programmer) the only thing that appears in the board selection drop-down is "Select Other Board & Port". Even if I only ever used a couple of boards, I always have to go in and search for them (which makes arduino/arduino-pro-ide#369 a lot more annoying).

Arduino IDE version

Original report

Arduino Pro IDE 0.1.3

Last verified with

2f2b19f

Operating system

All

Operating system version

Any

Additional context

Additional requests

• https://forum.arduino.cc/t/2-3-2-can-we-save-some-presets-in-the-selection-dropdown-box/1301996

Related

• https://github.com/arduino/arduino-ide/issues/1953
• https://github.com/arduino/arduino-ide/issues/330
• https://github.com/arduino/Arduino/pull/10816
• https://github.com/arduino/Arduino/pull/8607
• https://github.com/arduino/arduino-ide/issues/2339

Issue checklist

• [X] I searched for previous requests in the issue tracker
• [X] I verified the feature was still missing when using the latest nightly build
• [X] My request contains all necessary details