This reuses almost all the RTC work done upstream in JupyterLab itself.
And since this is implemented as a regular JupyterLab plugin, folks will then be able to swap it for something else and implement their own if they want to, as a federated extension.
This reuses almost all the RTC work done upstream in JupyterLab itself.
And since this is implemented as a regular JupyterLab plugin, folks will then be able to swap it for something else and implement their own if they want to, as a federated extension.