Quantomatic/quantomatic — Issue #15: Fast normalise should be cancellable
Author: randomguy3
Created: 2012-02-24 16:32:11+00:00
State: open

The loop in "fast normalise" is entirely in the GUI, so it should be possible to do some threading magic to allow the user to cancel it if it is taking too long.

Possibly something like the "rewriting" bar when doing an ordinary normalisation, but in the middle of the graph view?

Need to consider interleaving commands, I guess - what happens if the user does something else while this is happening. What happens with ordinary normalisation? What if the user tries to change the theory?

Modal dialog is a possibility (although dialogs are generally not very nice).