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

(🎁) code is remembered but not settings #179

Open
KotlinIsland opened this issue Jan 7, 2022 · 0 comments
Open

(🎁) code is remembered but not settings #179

KotlinIsland opened this issue Jan 7, 2022 · 0 comments
Labels

Comments

@KotlinIsland
Copy link
Contributor

I find this really confusing, because the settings I have selected correspond to the code I have written.

So when I come back to mypy-play the first thing I see is the previous code and I just automatically assume that it's the same session, little do I know that all the strictness flags have been disabled 🙄.

@KotlinIsland KotlinIsland changed the title code is remembered but not settings (🎁) code is remembered but not settings Jan 7, 2022
@ymyzk ymyzk added the feature label Jan 8, 2022
@ymyzk ymyzk changed the title (🎁) code is remembered but not settings code is remembered but not settings Jan 13, 2022
@KotlinIsland KotlinIsland changed the title code is remembered but not settings (🎁) code is remembered but not settings Sep 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants