-
-
Notifications
You must be signed in to change notification settings - Fork 7k
Closed
Labels
Component: Board/Lib ManagerBoards Manager or Library ManagerBoards Manager or Library ManagerComponent: IDE user interfaceThe Arduino IDE's user interfaceThe Arduino IDE's user interfacefeature requestA request to make an enhancement (not a bug fix)A request to make an enhancement (not a bug fix)
Milestone
Description
Currently the search field is permanently polled and searches are running while you type.
On weak systems e.g. a RaspberryPi it leads to awful lags.
It would have been an improvement to buffer the search field and to start a search only after a return has been registered.
Thank you for considering.
per1234, valerionew and dadul96
Metadata
Metadata
Assignees
Labels
Component: Board/Lib ManagerBoards Manager or Library ManagerBoards Manager or Library ManagerComponent: IDE user interfaceThe Arduino IDE's user interfaceThe Arduino IDE's user interfacefeature requestA request to make an enhancement (not a bug fix)A request to make an enhancement (not a bug fix)