[Lib Manager] Avoid updating the UI at every keystroke#8537

Merged

cmaglie merged 2 commits intoarduino:masterfrom

facchinm:lib_manager_update_ui_on_return

Mar 6, 2019

Commits on Feb 14, 2019

[Lib Manager] Avoid updating the UI at every keystroke
facchinm
committed

Commits on Feb 15, 2019

[LibManager] Restore "search on type" with 1 second grace period
facchinm
committed