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

do not refresh search on ws event #119

Closed

paynejacob opened this issue Sep 15, 2021 · 0 comments · Fixed by #121

Labels

area/ui enhancement

Milestone

Owner

paynejacob commented Sep 15, 2021

No description provided.

paynejacob added enhancement area/ui labels

paynejacob added this to the v1.0.0 milestone

paynejacob mentioned this issue

more efficient handling of ws messages #121

Merged

paynejacob closed this as completed in #121

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment