The notebook-wide search in Jupyterlab is really really laggy for me on notebooks with more than a few cells. Is there a way to turn it off and have Ctrl+F just use the browsers built-in search like it used to? Thanks.
Is this the new searching in 1.0a3?
Yes, sorry, should have mentioned that.
You can disable the Ctrl+F keyboard shortcut by overriding that keyboard shortcut in the Advanced Settings (copy the shortcut, and add a "disabled": true
field)
Or you can use the browser menu, of course.
How do I figure out what the command is called? This did not work, for example,
{
"command": "editmenu:find",
"keys": [
"Ctrl F"
],
"selector": "body",
"disabled": true
}
I’m guessing its not editmenu:find
?
I searched the default shortcuts for “Accel F” (which means Ctrl F on windows, Command F on mac). Try this:
{
"command": "documentsearch:start",
"keys": [
"Accel F"
],
"selector": ".jp-mod-searchable",
"disabled": true
}
Ah, that did it, thanks! (I had searched Ctrl F but didn’t think to do Accel F, and otherwise hadn’t seen it in there).
However, (and sorry to be difficult!), but now I see that when I’m inside a cell I get the codemirror search/replace, which I equally don’t want, since it only searches that cell. Is there a way to disable that too?
I think the codemirror behavior is that if you press Ctrl+F twice, you get the browser search.