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

Remove Jupyter interactive window config properties #2788

Merged
merged 2 commits into from
Apr 18, 2024

Conversation

seeM
Copy link
Contributor

@seeM seeM commented Apr 17, 2024

Intent

Address #2144.

Approach

Follows the same approach taken with other Jupyter commands that we block.

@seeM seeM requested a review from petetronic April 17, 2024 13:06
'jupyter.decorateCells',
'jupyter.enableCellCodeLens',
]);
// --- End Positron ---
Copy link
Contributor

Choose a reason for hiding this comment

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

I see a few other configs for the interactive window, all coming from the Jupyter extension. They're not for creating a new window, but if we don't support the interactive window, we might want to drop all mentions of it. I'm not sure if these should stay if they are being used, but noting them here:

jupyter.interactiveWindow.creationMode
jupyter.interactiveWindow.textEditor.autoAddNewCell
jupyter.interactiveWindow.viewColumn
jupyter.interactiveWindow.cellMarker.codeRegex
jupyter.interactiveWindow.codeLens.enableGotoCell
jupyter.interactiveWindow.codeLes.debugCommands (note this is misspelled in the ID, do not fix)

Copy link
Collaborator

Choose a reason for hiding this comment

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

I had the same question as I was playing with this branch.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Good point, and ty for listing these. Added in 4f21a36.

@seeM seeM merged commit edddc2f into main Apr 18, 2024
1 check passed
@seeM seeM deleted the remove-jupyter-interactive-window-config-properties branch April 18, 2024 07:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants