Skip to content
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

fix race conditions #160

Merged
merged 1 commit into from
Dec 8, 2024
Merged

fix race conditions #160

merged 1 commit into from
Dec 8, 2024

Conversation

nnyyxxxx
Copy link
Member

@nnyyxxxx nnyyxxxx commented Dec 8, 2024

resolves #136
resolves #152

@nnyyxxxx nnyyxxxx added the bug Something isn't working label Dec 8, 2024
@nnyyxxxx nnyyxxxx merged commit 1f6381f into main Dec 8, 2024
1 check passed
@nnyyxxxx nnyyxxxx deleted the fix_race_conditions branch December 8, 2024 08:35
@nnyyxxxx nnyyxxxx mentioned this pull request Dec 8, 2024
Open
nnyyxxxx added a commit that referenced this pull request Dec 8, 2024
@nnyyxxxx
fix race conditions (#160)
888db72 
-
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@adamperkowski adamperkowski Awaiting requested review from adamperkowski adamperkowski is a code owner

Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

rapid input while searching is a bit delayed gui sometimes shows up with empty results
1 participant
@nnyyxxxx