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.

Sign up for GitHub

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

Jump to bottom

Consider suggesting the Jupyter extension when #%% markers are found in a Python file #20021

Open
luabud opened this issue Oct 17, 2022 · 1 comment
Open

Consider suggesting the Jupyter extension when #%% markers are found in a Python file #20021

luabud opened this issue Oct 17, 2022 · 1 comment
Labels
area-editor-* User-facing catch-all feature-request Request for new features or functionality needs PR Ready to be worked on

Comments

@luabud
Copy link
Member

luabud commented Oct 17, 2022 •
edited
Loading

Once Jupyter extension is no longer installed by default (#18073), it would be nice if we could improve the discoverability of interactive window/cell execution features for files that have the #%% marker.
One idea is to display a code lens with "Install Jupyter extension to execute cells" above the #%% marker, or just show a notification saying Jupyter extension is recommended (latter would be better if handled by VS Code IMO)

Ideally when people right click on the editor we would also suggest to install the Jupyter extension to run the file in the interactive window
@luabud luabud added the feature-request Request for new features or functionality label Oct 17, 2022
@github-actions github-actions bot added the triage-needed Needs assignment to the proper sub-team label Oct 17, 2022
@karthiknadig karthiknadig added area-editor-* User-facing catch-all needs PR Ready to be worked on and removed triage-needed Needs assignment to the proper sub-team labels Oct 18, 2022
@karthiknadig
Copy link
Member

just show a notification saying Jupyter extension is recommended (latter would be better if handled by VS Code IMO)

Going with that idea.

@luabud luabud mentioned this issue Jan 17, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area-editor-* User-facing catch-all feature-request Request for new features or functionality needs PR Ready to be worked on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@karthiknadig @luabud