notebook icon indicating copy to clipboard operation
notebook copied to clipboard

Provide a custom `IDocumentManager`

Open jtpio opened this issue 3 years ago • 1 comments
trafficstars

Fixes #6344

This avoids having to patch docManager.open method at runtime.

However since the IDocumentManager.IWidgetOpener requires access to the doc manager to handle dirty contexts, some logic is similar to the one in the @jupyterlab/docmanager-extension:manager plugin.

jtpio avatar Jun 09 '22 15:06 jtpio

Binder :point_left: Launch a Binder on branch jtpio/notebook/doc-manager

github-actions[bot] avatar Jun 09 '22 15:06 github-actions[bot]