Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Focus-with-select when focusing Search box (jupyterlab#7932)
Focus-with-select when focusing Search box (Issue jupyterlab#7932) https://developer.mozilla.org/en-US/docs/Web/API/HTMLInputElement Old: `focus()` Focuses on the input element; keystrokes will subsequently go to this element. New: `select()` Selects all the text in the input element, and focuses it so the user can subsequently replace all of its content.
- Loading branch information