Library Manager forgets Type selection after search

[per1234]

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 #10767