Fix cancel button in operations view

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

6 stars 0 forks source link

Fix cancel button in operations view #350

Closed favu100 closed 4 months ago

favu100 commented 5 months ago

Currently, it seems that the cancel button in the operations view does not work reliable. For instance, one cannot cancel a long-running execution of a random number of steps.

iTitus commented 4 months ago

fixed in https://github.com/hhu-stups/prob2_ui/commit/2662122b5dcbdaa1e72577188ccc6470252e1b86