#177, #1188 Implemented filter and update all for libs/boards

[kittaakos]

Motivation

Change description

• Library search is not limited, the list is virtual,
• Can filter by Type or Topic and Type,
• New preference for enabling/disabling Check for Updates (IDE, libs, boards are done together. The preference is available from the Theia settings UI),
• Update all functionality for libs and boards.

Other information

Closes #177
Closes #1188

Reviewer checklist

• PR addresses a single concern.
• The PR has no duplicates (please search among the Pull Requests before creating one)
• PR title and description are properly filled.
• Docs have been added / updated (for bug fixes / features)

[davegarthsimpson]

No issues jumping out code-wise.

[per1234]

UPDATE: now tracked at #1380

Since I think the benefits of the PR as it is greatly outweigh this UI glitch, I would not consider it a blocker for the merge, but thought I should report it regardless:

Describe the problem

End of list can't be reached using 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-b7fc83f (tester build for c9cd17b)

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.

[per1234]

UPDATE: now tracked at #1381

---

Since I think the benefits of the PR as it is greatly outweigh this UI glitch, I would not consider it a blocker for the merge, but thought I should report it regardless:

Describe the problem

Scrollbar trails increasingly behind mouse pointer position while scrolling.

To reproduce

1. Open the "Library Manager" view.
2. Type servo in the "Filter your search..." field.
   ⓘ This is only an arbitrary example of a common search query that might return in enough results to require scrolling.
3. Click and drag the scrollbar downwards.

🐛 The position of the scrollbar trails increasingly behind the mouse pointer position. If the Arduino IDE window is near the bottom of the screen, it may even become necessary to stop and "grab" the bar once more in order to move it all the way to the bottom position.

Expected behavior

Scrollbar position always matches mouse pointer position.

Arduino IDE version

2.0.0-rc9.2.snapshot-9f3d8d9 (tester build for 41fc14c)

Operating system

Windows, Linux

Operating system version

Windows 10, Ubuntu 20.04

[per1234]

It is working nicely for me.

Thanks so much for your work on this important advancement Akos and Francesco!

[ubidefeo]

works as expected

LGTM