GitHub
Jupyter
Preparing search index...
The search index is not available
@jupyterlab
@jupyterlab
mainmenu-extension
CommandIDs
closeAndCleanup
Variable closeAndCleanup
Const
close
And
Cleanup
:
"filemenu:close-and-cleanup"
= 'filemenu:close-and-cleanup'
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
@jupyterlab
Loading...