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 run" option? #46

Closed
tomeru opened this issue Jan 6, 2014 · 1 comment
Closed

"Cancel run" option? #46

tomeru opened this issue Jan 6, 2014 · 1 comment

Comments

@tomeru
Copy link

tomeru commented Jan 6, 2014

Not sure how feasible this is, but:

Often times I find myself breaking something in a way that results in a very long or impossible query. However, once hitting 'run' there is nothing that can be done to cancel this operation except waiting for the browser to terminate the operation (sometimes resulting in lost work as well).

In such cases it would be useful to have some 'cancel' button which just stops the computation...?

@longouyang
Copy link
Member

Currently infeasible, but this is totally do-able once we switch to WebWorkers - I'll close this and open #47

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants