Scrollbar does not reach end of Library Manager list

[per1234]

Describe the problem

With a total of over 5000 libraries available, the Arduino IDE Library Manager view often contains a long list of libraries now that all results are shown (#1361).

The user may scroll through the list of results using the scrollbar on the right side of the view.

🐛 The end of the list can't be reached using the scrollbar when there are many search results.

To reproduce

1. Open the "Library Manager" view.
2. Clear the "Filter your search..." field.
3. Click and drag the scrollbar to the bottom.

🐛 The list was not scrolled anywhere near to the end. You can use the mouse wheel to scroll down to verify there are many other listings.

Expected behavior

Scrollbar can always be used to reach the end of the listings.

Arduino IDE version

2.0.0-rc9.2.snapshot-0d545be

Operating system

Windows

Operating system version

10

Additional context

I used the unfiltered list in the demo because it provides the most dramatic results, but it will also occur with filtered searches that provide a lot of results, such as motor.

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details