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.

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

Backport PR #7034 on branch 1.0.x (Increase the search debounce from 100ms to 500ms) #7035

Merged

Conversation

meeseeksmachine
Copy link
Contributor

Backport PR #7034: Increase the search debounce from 100ms to 500ms

@lumberbot-app lumberbot-app bot added this to the 1.1 milestone Aug 16, 2019
@jupyterlab-dev-mode
Copy link

Thanks for making a pull request to JupyterLab!

To try out this branch on binder, follow this link: Binder

@blink1073 blink1073 merged commit 8e57685 into jupyterlab:1.0.x Aug 16, 2019
@jasongrout jasongrout modified the milestones: 1.1, 1.0.6 Aug 20, 2019
@lock lock bot added the status:resolved-locked Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion. label Sep 19, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Sep 19, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
status:resolved-locked Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants