Arduino

mirror of https://github.com/arduino/Arduino.git synced 2025-02-01 21:52:12 +01:00

History

Cristian Maglie b66ed5e5d7 LibraryManager: correctly apply "type" and "category" filters together

Previously changing "Category" would filter libraries by the selected
category but without applying the "Type" previously selected.
For instance selecting Type="Installed" and Category="Communication"
will display *all* the libraries belonging to "communication" instead of
the installed only.

This commit fix this behavior.

2020-06-29 17:27:11 +02:00

.settings

Updated eclipse formatter options

2017-02-20 15:22:27 +01:00

lib

Update jmdns to 3.5.5

2020-06-03 10:21:06 +02:00

src

LibraryManager: correctly apply "type" and "category" filters together

2020-06-29 17:27:11 +02:00

test

Avoid usueless double calls to rescanLibraries()