Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[vscode] Stub vscode 'NoteBook' API #11786

Closed
rschnekenbu opened this issue Oct 18, 2022 · 3 comments · Fixed by #11993
Closed

[vscode] Stub vscode 'NoteBook' API #11786

rschnekenbu opened this issue Oct 18, 2022 · 3 comments · Fixed by #11993
Assignees
Labels
vscode issues related to VSCode compatibility

Comments

@rschnekenbu
Copy link
Contributor

As announced in #8395, vscode ships a Notebook API.

It would make sense to have the possibility to load and start plugins which depend on the 'Notebook' API. Even if the functionality relying on Notebook API would not work, the other parts of the extension would still work.

@JonasHelming JonasHelming added the vscode issues related to VSCode compatibility label Oct 18, 2022
@vince-fugnitto
Copy link
Member

I believe it is a duplicate of #11100, we should close one of the two.

@rschnekenbu
Copy link
Contributor Author

@vince-fugnitto , indeed, sorry for the noise.
Can you assign me the issue #11100, as it contains more history? Then I can close this one.

@vince-fugnitto
Copy link
Member

@rschnekenbu no problem, I kept this one open since you're not an author on the other one and I can't seem to assign you directly to it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
vscode issues related to VSCode compatibility
Projects
None yet
3 participants