Library Manager forgets Type selection after search
- Dominant language
- Java
- Stars
- 14.6k
- Forks
- 7k
- PR merge metrics
- No merged PRs in 30d
Description
Using Arduino IDE beta build 71 and hourly 2018-06-18 03:33, Windows 10 64 bit
1. **Sketch > Include Library > Manage Libraries**
2. **Type > All**
3. Search for "esp3". Many search results are returned.
4. **Type > Arduino**. As expected, there are no search results.
5. Search for "esp32". Many search results are returned. These results are what you would get from a search with **Type > All** selected. There should be no results for this search with **Type > Arduino** selected.
The problem does not occur with Arduino IDE 1.8.5.
---
EDIT: seems related to https://github.com/arduino/Arduino/issues/10767
Contributor guide
Research direction
Reproduce the issue through Sketch > Include Library > Manage Libraries using the listed Type and search steps on the affected Arduino IDE build. Compare the results after switching from All to Arduino, and review the related issue #10767; done means the selected Arduino filter remains applied and the esp32 search returns no results.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- desktop, tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 45/100