jku-vds-lab/loops

ILayoutRestorer should be optional

Closed this issue · 0 comments

On reload (F5), the layoutrestorer ensures that the extension is open again, if it was open before.
That is not necessary for the functionality and should therefore be an optional dependency.

Also see https://jupyterlab.readthedocs.io/en/stable/extension/extension_dev.html#application-plugins