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

Cancel operation #68

Open
mfornet opened this issue May 10, 2020 · 0 comments
Open

Cancel operation #68

mfornet opened this issue May 10, 2020 · 0 comments
Labels
enhancement New feature or request

Comments

@mfornet
Copy link
Owner

mfornet commented May 10, 2020

Right now all operations that involves running commands on the shell (compiling files, generating test cases, running solutions) other than running main solution have a friendly time limit. However a high time limit might be bad, because if there is a bug (infinite cycle, or really slow program) , extension will stop working until that command finish.

Proposal to fix. On executing a command, pop up an info box with the command that is being executed and context (running checker, running generator, etc...) And add a cancel button that allow cancelling that operation.

This way, user will have feedback about what is happening, and at the same time, the ability to stop it at any time.

@mfornet mfornet added the enhancement New feature or request label May 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant