Description
Actual Situation:
Many developers work with different platforms (arduino, ESP8266, ESP32, ect.). Each platform supports many variants of boards which are listed in the boards.txt
file.
If you work with arduino and ESP variants for example you will have more than 40 boards available in the board manager menue. This is very uncomfortable when you have to switch between the boards, because of the long scrolling list.
Proposal
Support a boards config menue which allows to check or uncheck the board you need/you are working with.
Unchecked boards will be commented in the boards.txt
file for example.
If you have a new board you can comfortable add this by check it later on.
With this feature the Arduino IDE will become more comfortable for all users and the menues become more clear and well-arranged.
Many developers would appreciate such a feature!