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

Changing selected interpreter doesn't change the one used in existing terminal #4581

Closed
DonJayamanne opened this issue Feb 27, 2019 · 1 comment
Closed

Changing selected interpreter doesn't change the one used in existing terminal #4581

DonJayamanne opened this issue Feb 27, 2019 · 1 comment
Labels
area-terminal feature-request Request for new features or functionality needs proposal Need to make some design decisions

Comments

@DonJayamanne
Copy link

No description provided.

@DonJayamanne DonJayamanne added feature-request Request for new features or functionality area-terminal needs decision labels Feb 27, 2019
@brettcannon brettcannon added needs proposal Need to make some design decisions and removed needs decision labels Mar 5, 2019
@DonJayamanne DonJayamanne mentioned this issue May 30, 2019
Closed
@luabud luabud mentioned this issue Sep 23, 2020
Closed
@karthiknadig karthiknadig mentioned this issue Oct 19, 2020
Closed
@brettcannon brettcannon added this to the September 2021 milestone Sep 1, 2021
@luabud luabud removed this from the September 2021 milestone Sep 28, 2021
@karthiknadig karthiknadig mentioned this issue Feb 24, 2022
Closed
@luabud luabud removed their assignment May 12, 2022
@mattseddon mattseddon mentioned this issue Jun 6, 2022
Closed
@karrtikr
Copy link

Should be solved with #11039.

@karrtikr karrtikr closed this as not planned Won't fix, can't repro, duplicate, stale Dec 19, 2022
@karrtikr karrtikr mentioned this issue Dec 19, 2022
Closed
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jan 19, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
area-terminal feature-request Request for new features or functionality needs proposal Need to make some design decisions
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@brettcannon @DonJayamanne @karrtikr @luabud