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.