Description
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 #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
Operating system
All
Operating system version
Any
Additional context
Additional requests
Issue checklist
- I searched for previous requests in the issue tracker
- I verified the feature was still missing when using the latest nightly build
- My request contains all necessary details