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
It'd be really nice to have it to switch among notebooks.
@goanpeca, question: Ctrl+P (the shortcut to call the switcher) is a global one right now, but I think we should use the same one here. So what do you think we should do to make that work?
Possibilities:
Make Ctrl+P a plugin shortcut. Cons: Not nice because you'd have to give focus to the Editor or the notebook to make it work.
Make Ctrl+P to detect the current plugin and change its behavior accordingly.
Add an API for the file switcher so external plugins can register with it.
The text was updated successfully, but these errors were encountered:
It'd be really nice to have it to switch among notebooks.
@goanpeca, question:
Ctrl+P
(the shortcut to call the switcher) is a global one right now, but I think we should use the same one here. So what do you think we should do to make that work?Possibilities:
Ctrl+P
a plugin shortcut. Cons: Not nice because you'd have to give focus to the Editor or the notebook to make it work.Ctrl+P
to detect the current plugin and change its behavior accordingly.The text was updated successfully, but these errors were encountered: