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

Improved interpreter switching #1263

Merged

Conversation

Kavakuo
Copy link
Contributor

@Kavakuo Kavakuo commented Oct 2, 2017

Switching the interpreter is possible if no workspace is opened.

Implements #1260 and is also included inside #1257.

Switching the interpreter is possible if no workspace is opened
@DonJayamanne DonJayamanne merged commit 9c7a8e3 into DonJayamanne:master Oct 3, 2017
@DonJayamanne DonJayamanne added this to the October 2017 milestone Oct 3, 2017
@Kavakuo Kavakuo deleted the feature#interpreterSwitch branch October 4, 2017 23:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants