Cancelling unfold still opens simulation

[Lena Ernstsen]

When verifying a query with a trace, a dialog will appear informing that the unfolded net will be opened in a new tab. If you press cancel, then it will not unfold, but still go into simulation mode with the trace.

See attached net and press verify.

[Jiri Srba (srba)]

The correct behaviour is
1: first display the popup with the query results
2: then ask if you want to see a trace (which will rerun the engine but only if it is not canceled)

This can be perhaps tricky to do, so if you get stuck try to ask Kenneth.

[Lena Ernstsen (lsaid)]

I fixed the behaviour by moving the call to show the unfold dialog till after the verification results have been shown. However, the program will no matter what create the unfolded tab and add this to the verification result object, but it will not be shown until the unfold dialog has been displayed and accepted. If unfolding is cancelled then the unfolded tab will just be ignored.