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

multiple scratch file saves queue up multiple typechecks #5329

Open
aryairani opened this issue Sep 4, 2024 · 0 comments
Open

multiple scratch file saves queue up multiple typechecks #5329

aryairani opened this issue Sep 4, 2024 · 0 comments
Labels
feature request

Comments

@aryairani
Copy link
Contributor

aryairani commented Sep 4, 2024 •
edited
Loading

Is your feature request related to a problem? Please describe.
Right now, multiple saves lead to multiple typechecks getting queued up, which can be slow and useless.

Describe the solution you'd like
Cancel the current typechecking (and notify the user) on a subsequent scratch save

Describe alternatives you've considered

Additional context
@aryairani aryairani changed the title cancel current typechecking (and notify the user) if there's a subsequent scratch file save multiple scratch file saves queue up multiple typechecks Sep 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@aryairani