You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Not sure how to handle this, what should go where... On the other hand, S&R seems to get included in notebook proper (jupyter/notebook#285 and jupyter/notebook#558), so the extension can probably be dropped after the next notebook release...
The text was updated successfully, but these errors were encountered:
We could save the position of the searchbar, so it stays there when moved.
But I guess you are right, if the new builtin functionality works we can remove the extension.
See this screenshot:
Not sure how to handle this, what should go where... On the other hand, S&R seems to get included in notebook proper (jupyter/notebook#285 and jupyter/notebook#558), so the extension can probably be dropped after the next notebook release...
The text was updated successfully, but these errors were encountered: