This adds dispose functionality to the Shell so that it can be closed and it will clear up after itself. This can be called from outside the Shell, such as by the JupyterLite terminal extension. Also added a new exit command so that the Shell can be closed from within.
This is using the @lumino/disposable and @lumino/signaling packages for consistency with the rest of the Jupyter ecosystem; these packages were already implicit dependencies of cockle and now they are explicit.
It is also possible to connect a callback to the Shell.disposed signal so that when used in the terminal extension it will be possible to exit the shell from within it and this will notify the extension so that the UI can be correctly updated.
This adds
disposefunctionality to theShellso that it can be closed and it will clear up after itself. This can be called from outside theShell, such as by the JupyterLiteterminalextension. Also added a newexitcommand so that theShellcan be closed from within.This is using the
@lumino/disposableand@lumino/signalingpackages for consistency with the rest of the Jupyter ecosystem; these packages were already implicit dependencies ofcockleand now they are explicit.It is also possible to
connecta callback to theShell.disposedsignal so that when used in theterminalextension it will be possible toexitthe shell from within it and this will notify the extension so that the UI can be correctly updated.