Skip to content

[Library manager] Please consider buffering the search flield. #8282

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
rin67630 opened this issue Dec 10, 2018 · 0 comments · Fixed by #8537
Closed

[Library manager] Please consider buffering the search flield. #8282

rin67630 opened this issue Dec 10, 2018 · 0 comments · Fixed by #8537
Labels
Component: Board/Lib Manager Boards Manager or Library Manager Component: IDE user interface The Arduino IDE's user interface feature request A request to make an enhancement (not a bug fix)
Milestone
Release 1.8.10

Comments

@rin67630
Copy link

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 per1234 added the Component: Board/Lib Manager Boards Manager or Library Manager label Dec 10, 2018
@facchinm facchinm added feature request A request to make an enhancement (not a bug fix) Component: IDE user interface The Arduino IDE's user interface labels Dec 12, 2018
facchinm added a commit to facchinm/Arduino that referenced this issue Feb 14, 2019
@facchinm
[Lib Manager] Avoid updating the UI at every keystroke
f3d521d 
Fixes arduino#8282
@facchinm facchinm mentioned this issue Feb 14, 2019
Merged
@cmaglie cmaglie added this to the Release 1.8.9 milestone Mar 6, 2019
@per1234 per1234 mentioned this issue Nov 11, 2022
Open
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Component: Board/Lib Manager Boards Manager or Library Manager Component: IDE user interface The Arduino IDE's user interface feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Milestone
Release 1.8.10
Development

Successfully merging a pull request may close this issue.

[Lib Manager] Avoid updating the UI at every keystroke facchinm/Arduino
4 participants
@cmaglie @per1234 @facchinm @rin67630