Skip to content

Conversation

davidbrochart
Copy link
Collaborator

No description provided.

@davidbrochart davidbrochart changed the title Add pushStreamOutput method Add appendStreamOutput and removeStreamOutput methods Jun 20, 2024
@davidbrochart
Copy link
Collaborator Author

I would like to merge this PR and make a release, so that jupyterlab/jupyterlab#16498 can be merged.

@Zsailer
Copy link
Member

Zsailer commented Jun 24, 2024

LGTM! Thanks, @davidbrochart

@Zsailer Zsailer merged commit 137ca8e into jupyter-server:main Jun 24, 2024
@davidbrochart davidbrochart deleted the stream-output branch June 24, 2024 16:03
* Cell output changes
*/
outputsChange?: Delta<nbformat.IOutput[]>;
outputsChange?: Delta<Y.Map<any>>;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should improve typing here, any is not a great public API.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I opened #269

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants