Skip to content
This repository has been archived by the owner on Feb 8, 2019. It is now read-only.

Merge into core #106

Open
saulshanabrook opened this issue Oct 5, 2018 · 2 comments
Open

Merge into core #106

saulshanabrook opened this issue Oct 5, 2018 · 2 comments

Comments

@saulshanabrook
Copy link
Member

We should merge this extension into core so that we can easier add things to it when we add new features to core. See jupyterlab/jupyterlab#5352 for the issue there.

@ian-r-rose I see you have been assigned to that issue. Is there anything you want from the developers here to get this started?

@ian-r-rose
Copy link
Member

No, I'm going to wait for the dust to settle a bit with 0.35 and then do it.

@saulshanabrook
Copy link
Member Author

Sounds good.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants