find next occurrence in jupyter lab's text editor #3993
Labels
documentation
enhancement
pkg:fileeditor
status:resolved-locked
Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion.
tag:Search and Replace
Milestone
Using either the default or sublime text key map, to search something in jupyter lab's text editor I press
ctrl+F
, type something, pressEnter
and my cursor goes to the first occurrence. The problem is after that, the search bar disappears and I can't figure out an easy way to jump to the next occurrence. Is there a faster way to jump to the next occurrence other than pressingctrl+F
andEnter
again? In many editors, including sublime text, one can just pressEnter
to go to the next occurrence, but that doesn't work even using the sublime text key map.The text was updated successfully, but these errors were encountered: