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
I'm working on a jupyterlab-extension for dependency management [1]. Some users requested feature to delete kernels directly from the UI, instead of going to the terminal, so the following solution was introduced:
I did not find a way to add the new command Kernel Delete... to the menu under Kernel, as I think that should be the place.
Proposed Solution
Have an example on how to add command to menu on existing category.
Basically you have to use the accessors of IMainMenu. Moreover in JupyterLab 3.1 a new mechanism to define menu from settings has been introduced. The menu example will be updated in #181.
if you want to help, I can provide you some pointer for #111, #134, #138 or #154.
Problem
I'm working on a jupyterlab-extension for dependency management [1]. Some users requested feature to delete kernels directly from the UI, instead of going to the terminal, so the following solution was introduced:
I did not find a way to add the new command
Kernel Delete...
to the menu under Kernel, as I think that should be the place.Proposed Solution
Additional context
The text was updated successfully, but these errors were encountered: