per1234
commented
2 years ago Hi @WereCatf. Thanks for your suggestions.
there does not seem to exist any way of showing only the already-installed boards or libraries
This deficiency is already being tracked here: https://github.com/arduino/arduino-ide/issues/177
So we will restrict the subject of this issue to your suggestion of a different UI approach for the Library and Boards Manager.
Currently there does not seem to exist any way of showing only the already-installed boards or libraries or at least sorting the already-installed ones to the top; you only get an unwieldy list of everything and for e.g. libraries, you'll have to remember every single one you've installed, since there is no way of finding them out other than browsing through the thousands of libraries.(UPDATE: resolved by https://github.com/arduino/arduino-ide/pull/1361)Describe the request
Use a tabbed page in the main UI or a modal dialog for the Boards Manager and Library Manager views.
This would give more breathing-room to display the information in a visually more distinct manner that's easier on the eyes and allow for the inclusion of toggles for different kinds of sorting and filters.
Describe the current behavior
The left side panel is used as the container for the Boards Manager and Library Manager views.
This is unwieldy and too cramped.
Arduino IDE version
Original report
2.0.0-rc.5
Last verified with
144df893d0dafec64a26565cf912a98f32572da9
Operating system
All
Operating system version
Any
Additional context
Additional requests
Issue checklist