Can we add an option to hide unused boards?

[alexceltare2]

I'm talking about the situation where somebody may own just 3 boards for development (Arduino Uno, ESP8266 Dev Board and Aeduino Due for example) but it may be inconvenient to always scroll look up for the board and select it so can we add an option to hide the other dev. boards that we don't need in the "Board:" list? Id doesn't need to be complicated, just a macro or something.

[per1234]

Closing as duplicate of arduino/arduino-ide#2339
And note the solution in the comment thread of that issue report.

We welcome bug reports and feature requests but in the future please take the time to search for existing open and closed issues and pull requests before submitting an issue:
https://github.com/arduino/Arduino/issues?&q=
If you do find the issue has already been reported or a fix has been submitted, you are welcome to give it a "thumbs up" by clicking on the smiley face icon at the top right to show your support. Please only comment on the issue if you have additional information to add.