search

jupyterlab / jupyterlab-shortcutui

A JupyterLab extension for managing keyboard shortcuts
BSD 3-Clause "New" or "Revised" License
54 stars 15 forks source link

Add option to modify the built-in search bar command (Command/Control + F) #4

Closed basnijholt closed 6 years ago

basnijholt commented 6 years ago

It would be really great to be able to modify the shortcut Command + F or Control + F to something else such that it does not interfere with the browser's search.

This is also an issue here https://github.com/jupyterlab/jupyterlab/issues/4730.

jennalandy commented 6 years ago

Hi @basnijholt, the keyboard shortcut command F is handled by code mirror and cannot be fixed by this extension. We see you’ve opened an issue on Jupyter Lab as well, someone should help you there!

basnijholt commented 6 years ago

Thanks for your reply!

keyboard shortcut command F is handled by code mirror and cannot be fixed by this extension

In that case, I'll close the issue here.