I posted a issue on github yesterday
I posted it as an improvement to the boards display in the board manager
the reply was quite discouraging and like a brush off.
it would also simplify the way new boards can be added
it would increase the usability for people (like me) that shift boards from time to time.
Did I post it the wrong way
should I have done github pull request
Can you please post a link to where you raised it ?
most frequently used boards could be moved to the top of the list
There is a pull request to make this happen automatically:
This Arduino IDE plugin might be of interest:https://github.com/binatrix/arduino-board-switch-pluginI haven't used it so I'm not sure whether the configuration persists through updates or not, but it certainly makes it easy to unlist boards.